[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature br
From: |
Helmut Eller |
Subject: |
Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch] |
Date: |
Fri, 17 Jan 2025 16:33:19 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
On Fri, Jan 17 2025, Michael Albinus wrote:
>> In Dockerfile.emba, I've added a now target emacs-igc. It installs
>> libmps-dev and libmps3, and it configures emacs --with-mps.
The libmps-dev in Debian is a "Multiprecision polynomial solver". The
MPS library that we need is not packaged for Debian AFAIK.
Helmut
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], (continued)
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Gerd Möllmann, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Michael Albinus, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Gerd Möllmann, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Gerd Möllmann, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Michael Albinus, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Gerd Möllmann, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Michael Albinus, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Gerd Möllmann, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Michael Albinus, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Gerd Möllmann, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch],
Helmut Eller <=
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Michael Albinus, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Helmut Eller, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Pip Cet, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Stefan Kangas, 2025/01/18
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Stefan Kangas, 2025/01/20
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Helmut Eller, 2025/01/21
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Stefan Kangas, 2025/01/21
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Michael Albinus, 2025/01/18
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Pip Cet, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], chad, 2025/01/20