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.
|
