Paquet : mercury (0.11.0.rotd.20040511-5ubuntu1) [universe]
Liens pour mercury
Ressources Ubuntu :
Télécharger le paquet source mercury :
Responsable :
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Peter Hawkins
It should generally not be necessary for users to contact the original maintainer.
Paquets similaires :
A new logic/functional programming language
Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.
This package contains all the files required for developing programs in the Mercury language.
Autres paquets associés à mercury
|
|
|
-
- dep: libc6 (>= 2.5-0ubuntu1)
- GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc6-udeb
-
- dep: make
- The GNU version of the "make" utility.
Télécharger mercury
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 4 456,4 ko | 21 360,0 ko | [liste des fichiers] |
| i386 | 4 585,8 ko | 20 180,0 ko | [liste des fichiers] |