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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
Source: polyml
Section: interpreters
Priority: optional
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders:
James Clarke <jrtc27@debian.org>,
Vcs-Browser: https://salsa.debian.org/science-team/polyml
Vcs-Git: https://salsa.debian.org/science-team/polyml.git
Homepage: http://www.polyml.org
Build-Depends:
debhelper (>= 10),
libffi-dev,
libltdl-dev,
Standards-Version: 4.1.4
Rules-Requires-Root: no
Package: polyml
Architecture: any
Multi-Arch: foreign
Depends:
file,
g++,
libffi-dev,
polyml-modules (= ${binary:Version}),
${misc:Depends},
${shlibs:Depends},
Description: interpreter and interactive compiler for 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 top-level interpreter and compiler.
Package: polyml-modules
Section: libs
Architecture: any
Multi-Arch: same
Breaks:
libpolyml7 (>= 5.7~20170315.git1343f60-1),
libpolyml8,
Replaces:
libpolyml7 (>= 5.7~20170315.git1343f60-1),
libpolyml8,
Pre-Depends:
${misc:Pre-Depends},
Depends:
${misc:Depends},
Description: modules for Poly/ML, a compiler for 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 standard modules for Poly/ML.
Package: libpolyml-dev
Section: libdevel
Architecture: any
Multi-Arch: same
Depends:
libpolyml9 (= ${binary:Version}),
${misc:Depends},
Description: development files for Poly/ML, a compiler for 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: libpolyml9
Section: libs
Architecture: any
Multi-Arch: same
Pre-Depends:
${misc:Pre-Depends},
Depends:
${misc:Depends},
${shlibs:Depends},
Description: runtime files for Poly/ML, a compiler for 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.
|
