[ sid ]
[ Paquet source : urweb ]
Paquet : urweb (20170720+dfsg-2 et autres)
Liens pour urweb
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source urweb :
Responsable :
Ressources externes :
- Page d'accueil [impredicative.com]
Paquets similaires :
langage exclusivement fonctionnel pour la programmation web
Ur est langage de programmation strict, statiquement typé, fonctionnel et pur dans la tradition de ML et Haskell. Cependant, il possède un type de système sensiblement plus riche. Ur/Web consiste en Ur plus une bibliothèque standard spéciale et des règles associées pour l’analyse et l’optimisation. Ur/Web prend en charge les applications web de construction dynamique adossées à des bases de données SQL.
Ce paquet fournit le compilateur urweb et les bibliothèques de développement. Il n’est pas nécessaire de l’installer pour exécuter des applications écrites en Ur/Web.
Autres paquets associés à urweb
|
|
|
|
-
- dep: default-libmysqlclient-dev
- MySQL database development files (metapackage)
-
- dep: libc6 (>= 2.11) [hppa]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.17) [ppc64el]
- dep: libc6 (>= 2.33) [non hppa, ppc64el]
-
- dep: libgmp10 [hppa, ppc64el]
- Bibliothèque arithmétique à multi-précision
- dep: libgmp10 (>= 2:6.2.1+dfsg) [non hppa, ppc64el]
-
- dep: libpq-dev
- header files for libpq5 (PostgreSQL library)
-
- dep: libsqlite3-dev
- fichiers de développement de SQLite 3
-
- dep: libssl-dev
- trousse à outils SSL –⋅fichiers de développement
-
- dep: liburweb-cgi0
- dorsal CGI pour urweb
-
- dep: liburweb-fastcgi0
- dorsal FastCGI pour urweb
-
- dep: liburweb-http0
- dorsal autonome pour urweb
-
- dep: liburweb-static0
- dorsal statique pour urweb
-
- dep: liburweb0
- système d'exécution d'urweb
-
- dep: uthash-dev
- table de hachage et liste liée pour des structures C
-
- rec: gcc
- compilateur C GNU
-
- rec: urweb-doc
- manuel de référence pour Ur/Web
-
- rec: urweb-mode
- mode Emacs pour l’édition de programmes Ur/Web
Télécharger urweb
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| amd64 | 20170720+dfsg-2+b1 | 1 437,6 ko | 8 989,0 ko | [liste des fichiers] |
| arm64 | 20170720+dfsg-2+b1 | 1 694,3 ko | 7 813,0 ko | [liste des fichiers] |
| armel | 20170720+dfsg-2+b1 | 1 731,6 ko | 7 243,0 ko | [liste des fichiers] |
| armhf | 20170720+dfsg-2+b1 | 1 759,6 ko | 5 616,0 ko | [liste des fichiers] |
| hppa (portage non officiel) | 20170720+dfsg-2 | 2 804,3 ko | 12 097,0 ko | [liste des fichiers] |
| i386 | 20170720+dfsg-2+b1 | 1 147,6 ko | 7 246,0 ko | [liste des fichiers] |
| mips64el | 20170720+dfsg-2+b1 | 1 618,0 ko | 8 881,0 ko | [liste des fichiers] |
| ppc64el | 20170720+dfsg-2 | 2 172,9 ko | 10 460,0 ko | [liste des fichiers] |
| s390x | 20170720+dfsg-2+b1 | 1 632,4 ko | 9 454,0 ko | [liste des fichiers] |