1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
Source: polyml
Section: interpreters
Priority: extra
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Achim D. Brucker <brucker@member.fsf.org>, Lionel Elie Mamane <lmamane@debian.org>
Vcs-Git: git://git.debian.org/git/debian-science/packages/polyml.git
Vcs-Browser: http://git.debian.org/?p=debian-science/packages/polyml.git
Homepage: http://www.polyml.org
Build-Depends: debhelper (>= 6), autotools-dev
Standards-Version: 3.8.2
Package: polyml
Architecture: i386 sparc powerpc amd64 armel
Depends: ${shlibs:Depends}
Description: interpreter and interactive compiler for the Standard ML programming language
Poly/ML is an implementation of the Standard ML programming language
Standard ML is a general-purpose, modular, type-safe, strict,
functional programming language. Poly/ML is SML 97 compliant
interpreter and compiler that supports the generation of stand-alone
executables with an interactive toplevel (REPL).
.
This package provides the toplevel interpreter.
Package: libpolyml-dev
Section: libdevel
Architecture: i386 sparc powerpc amd64 armel
Depends: libpolyml1 (= ${binary:Version})
Description: development files for Poly/ML, a compiler for the Standard ML
Poly/ML is an implementation of the Standard ML programming language
Standard ML is a general-purpose, modular, type-safe, strict,
functional programming language. Poly/ML is SML 97 compliant
interpreter and compiler that supports the generation of stand-alone
executables with an interactive toplevel (REPL).
.
This package provides the files needed to compile stand-alone executables
with Poly/ML.
Package: libpolyml1
Section: libs
Architecture: i386 sparc powerpc amd64 armel
Depends: ${shlibs:Depends}
Description: runtime files for Poly/ML, a compiler for the Standard ML
Poly/ML is an implementation of the Standard ML programming language
Standard ML is a general-purpose, modular, type-safe, strict,
functional programming language. Poly/ML is SML 97 compliant
interpreter and compiler that supports the generation of stand-alone
executables with an interactive toplevel (REPL).
.
This package provides the files needed to run stand-alone executables
built with Poly/ML.
|
