[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
basic questions on MPS
From: |
Andrea Corallo |
Subject: |
basic questions on MPS |
Date: |
Thu, 25 Apr 2024 12:04:33 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Because I was expecting to just install MPS through my distro but I then
discovered it's not packaged, a couple of questions came to my mind
today while trying to compile it.
Do we know if MPS is distributed with any GNU/Linux distribution?
Also which are the main users (in terms of software) of MPS?
Thanks
Andrea
- Re: Collecting markers with MPS, (continued)
- Re: Collecting markers with MPS, Gerd Möllmann, 2024/04/24
- Re: Collecting markers with MPS, Helmut Eller, 2024/04/24
- Re: Collecting markers with MPS, Gerd Möllmann, 2024/04/24
- Re: Collecting markers with MPS, Helmut Eller, 2024/04/24
- Re: Collecting markers with MPS, Gerd Möllmann, 2024/04/24
- Re: Collecting markers with MPS, Helmut Eller, 2024/04/25
- Re: Collecting markers with MPS, Gerd Möllmann, 2024/04/25
basic questions on MPS,
Andrea Corallo <=
- Re: basic questions on MPS, Helmut Eller, 2024/04/25
- Re: basic questions on MPS, Eli Zaretskii, 2024/04/25
- Re: basic questions on MPS, Gerd Möllmann, 2024/04/25
- Re: basic questions on MPS, Vibhav Pant, 2024/04/25
- Re: basic questions on MPS, Helmut Eller, 2024/04/26
- Re: basic questions on MPS, Gerd Möllmann, 2024/04/26
- Re: basic questions on MPS, vibhavp, 2024/04/26
- Re: basic questions on MPS, Gerd Möllmann, 2024/04/26
Re: basic questions on MPS, Richard Stallman, 2024/04/26
Re: basic questions on MPS, Helmut Eller, 2024/04/27