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
158
159
160
161
162
163
164
165
166
167
168
169
170
171
|
Source: urweb
Section: devel
Priority: optional
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Build-Depends:
curl,
debhelper-compat (= 13),
default-libmysqlclient-dev,
libicu-dev,
libpq-dev,
libsqlite3-dev,
libssl-dev,
mlton,
sqlite3,
uthash-dev
Build-Depends-Indep:
emacs,
texlive-fonts-recommended,
texlive-latex-extra
Rules-Requires-Root: no
Standards-Version: 4.5.0
Homepage: http://impredicative.com/ur/
Vcs-Browser: https://github.com/urweb/debian-urweb
Vcs-Git: https://github.com/urweb/debian-urweb.git
Package: urweb
Architecture: any
Pre-Depends: ${misc:Pre-Depends}
Depends:
default-libmysqlclient-dev,
gcc | c-compiler,
libicu-dev,
libpq-dev,
libsqlite3-dev,
libssl-dev,
liburweb1,
liburweb-cgi1,
liburweb-fastcgi1,
liburweb-http1,
liburweb-static1,
uthash-dev,
${shlibs:Depends},
${misc:Depends}
Recommends:
gcc,
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: liburweb1
Section: libs
Architecture: any
Multi-Arch: same
Pre-Depends: ${misc:Pre-Depends}
Depends: ${shlibs:Depends}, ${misc:Depends}
Suggests:
liburweb-cgi1,
liburweb-fastcgi1,
liburweb-http1,
liburweb-static1
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-cgi1
Section: libs
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-fastcgi1
Section: libs
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-http1
Section: libs
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-static1
Section: libs
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.
|
