1 files changed, 169 insertions, 0 deletions
diff --git a/debian/control b/debian/control
new file mode 100644
index 00000000..a7870b36
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,169 @@
+Source: urweb
+Section: devel
+Priority: optional
+Maintainer: Benjamin Barenblat <bbaren@mit.edu>
+Build-Depends:
+ curl,
+ debhelper-compat (= 13),
+ default-libmysqlclient-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,
+ libpq-dev,
+ libsqlite3-dev,
+ libssl-dev,
+ liburweb0,
+ liburweb-cgi0,
+ liburweb-fastcgi0,
+ liburweb-http0,
+ liburweb-static0,
+ 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: liburweb0
+Section: libs
+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
+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-fastcgi0
+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-http0
+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-static0
+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.