summaryrefslogtreecommitdiff
path: root/debian/control
blob: 7557f17b3aff7fd75cc1f93afedd9660fabf2782 (plain)
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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
Source: urweb
Section: devel
Priority: extra
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Build-Depends:
 debhelper (>= 9),
 dh-autoreconf,
 dh-exec,
 libmysqlclient-dev,
 libpq-dev,
 libsqlite3-dev,
 libssl-dev,
 mlton
Build-Depends-Indep:
 emacs24 | emacsen,
 texlive-fonts-recommended,
 texlive-latex-extra
Standards-Version: 3.9.6
Homepage: http://impredicative.com/ur/

Package: urweb
Architecture: any
Multi-Arch: foreign
Depends:
 libmysqlclient-dev,
 libpq-dev,
 libsqlite3-dev,
 libssl-dev,
 liburweb0,
 liburweb-cgi0,
 liburweb-fastcgi0,
 liburweb-http0,
 liburweb-static0,
 ${shlibs:Depends},
 ${misc:Depends}
Recommends:
 urweb-doc,
 urweb-mode
Description: purely functional language for web programming
 Ur is a pure, functional, statically typed, strict programming language in the
 tradition of ML and Haskell; however, it features a significantly richer type
 system.  Ur/Web is Ur plus a special standard library and associated rules for
 parsing and optimization.  Ur/Web supports constructing dynamic web
 applications backed by SQL databases.
 .
 This package provides the urweb compiler and development libraries; you do not
 need to install it to run applications written in Ur/Web.

Package: liburweb0
Architecture: any
Multi-Arch: same
Pre-Depends: ${misc:Pre-Depends}
Depends: ${shlibs:Depends}, ${misc:Depends}
Suggests:
 liburweb-cgi0,
 liburweb-fastcgi0,
 liburweb-http0,
 liburweb-static0
Description: urweb runtime system
 Ur is a pure, functional, statically typed, strict programming language in the
 tradition of ML and Haskell; however, it features a significantly richer type
 system.  Ur/Web is Ur plus a special standard library and associated rules for
 parsing and optimization.  Ur/Web supports constructing dynamic web
 applications backed by SQL databases.
 .
 This package provides the runtime library for executables compiled with urweb.
 Packages should not depend on this package; instead, they should depend on one
 of the urweb backend packages, each of which depends on this one.

Package: liburweb-cgi0
Architecture: any
Multi-Arch: same
Pre-Depends: ${misc:Pre-Depends}
Depends: ${shlibs:Depends}, ${misc:Depends}
Description: urweb CGI backend
 Ur is a pure, functional, statically typed, strict programming language in the
 tradition of ML and Haskell; however, it features a significantly richer type
 system.  Ur/Web is Ur plus a special standard library and associated rules for
 parsing and optimization.  Ur/Web supports constructing dynamic web
 applications backed by SQL databases.
 .
 This package provides the CGI backend for executables compiled with urweb.

Package: liburweb-fastcgi0
Architecture: any
Multi-Arch: same
Pre-Depends: ${misc:Pre-Depends}
Depends: ${shlibs:Depends}, ${misc:Depends}
Description: urweb FastCGI backend
 Ur is a pure, functional, statically typed, strict programming language in the
 tradition of ML and Haskell; however, it features a significantly richer type
 system.  Ur/Web is Ur plus a special standard library and associated rules for
 parsing and optimization.  Ur/Web supports constructing dynamic web
 applications backed by SQL databases.
 .
 This package provides the FastCGI backend for executables compiled with urweb.

Package: liburweb-http0
Architecture: any
Multi-Arch: same
Pre-Depends: ${misc:Pre-Depends}
Depends: ${shlibs:Depends}, ${misc:Depends}
Description: urweb standalone backend
 Ur is a pure, functional, statically typed, strict programming language in the
 tradition of ML and Haskell; however, it features a significantly richer type
 system.  Ur/Web is Ur plus a special standard library and associated rules for
 parsing and optimization.  Ur/Web supports constructing dynamic web
 applications backed by SQL databases.
 .
 This package provides the standalone backend for web servers generated with
 urweb.

Package: liburweb-static0
Architecture: any
Multi-Arch: same
Pre-Depends: ${misc:Pre-Depends}
Depends: ${shlibs:Depends}, ${misc:Depends}
Description: urweb static backend
 Ur is a pure, functional, statically typed, strict programming language in the
 tradition of ML and Haskell; however, it features a significantly richer type
 system.  Ur/Web is Ur plus a special standard library and associated rules for
 parsing and optimization.  Ur/Web supports constructing dynamic web
 applications backed by SQL databases.
 .
 This package provides the static-file backend for executables compiled with
 urweb.

Package: urweb-doc
Section: doc
Architecture: all
Multi-Arch: foreign
Depends: ${misc:Depends}
Recommends: xpdf | pdf-viewer
Description: Ur/Web reference manual
 Ur is a pure, functional, statically typed, strict programming language in the
 tradition of ML and Haskell; however, it features a significantly richer type
 system.  Ur/Web is Ur plus a special standard library and associated rules for
 parsing and optimization.  Ur/Web supports constructing dynamic web
 applications backed by SQL databases.
 .
 This package provides the Ur/Web reference manual in PDF format.

Package: urweb-mode
Section: editors
Architecture: all
Multi-Arch: foreign
Depends:
 emacsen-common (>= 2.0.8),
 ${misc:Depends}
Description: Emacs mode for editing Ur/Web programs
 Ur is a pure, functional, statically typed, strict programming language in the
 tradition of ML and Haskell; however, it features a significantly richer type
 system.  Ur/Web is Ur plus a special standard library and associated rules for
 parsing and optimization.  Ur/Web supports constructing dynamic web
 applications backed by SQL databases.
 .
 This package provides an Emacs mode for editing Ur/Web source files.