deb https://apt.vacs.fr/ubuntu-jammy jammy mainAnd you can run the following command to accept the signed packages:
wget -O - https://apt.vacs.fr/apt.vacs.fr.gpg.key | sudo tee /etc/apt/trusted.gpg.d/apt-vacs-fr.asc
Ada Web Application Framework
Ada Web Application
is a framework to build a web application.
The Java 2 Ada
site is built on top of the Ada Web Application framework.
To access this Debian respository and install it on Ubuntu 22.04 (jammy),
you can add the following line to your /etc/apt/sources.list configuration
file:
To access this Debian respository and install it on Ubuntu 20.04 LTS (focal),
you can add the following line to your /etc/apt/sources.list configuration
file:
deb https://apt.vacs.fr/ubuntu-focal focal mainAnd you can run the following command to accept the signed packages:
wget -O - https://apt.vacs.fr/apt.vacs.fr.gpg.key | sudo tee /etc/apt/trusted.gpg.d/apt-vacs-fr.asc
To access this Debian respository and install it on Debian 11 (bullseye),
you can add the following line to your /etc/apt/sources.list configuration
file:
deb https://apt.vacs.fr/debian-bullseye bullseye mainAnd you can run the following command to accept the signed packages:
wget -O - https://apt.vacs.fr/apt.vacs.fr.gpg.key | sudo tee /etc/apt/trusted.gpg.d/apt-vacs-fr.asc
Package libservletada4-dev
- Source:
- libservletada
- Version:
- 1.6.0
- Architecture:
- amd64
- Maintainer:
-
Stephane Carrez
- Installed-Size:
- 3206
- Depends:
- libutilada-sys4-dev, libelada4-dev, libsecurity4-dev, gnat, gnat-10, libservletada1.6.0 (= 1.6.0)
- Section:
- libdevel
- Priority:
- optional
- Homepage:
- https://github.com/stcarrez/ada-servlet/
- Description:
- Ada Servlet Engine (Development) Ada Servlet allows one to create web applications using the same pattern as the Java Servlet (See JSR 154, JSR 315). . This package contains the development files.
Content
drwxr-xr-x root/root 0 2022-08-02 08:21 ./ drwxr-xr-x root/root 0 2022-08-02 08:21 ./usr/ drwxr-xr-x root/root 0 2022-08-02 08:21 ./usr/lib/ drwxr-xr-x root/root 0 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/ drwxr-xr-x root/root 0 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/ drwxr-xr-x root/root 0 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/ -r--r--r-- root/root 3033 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-cookies.ali -r--r--r-- root/root 15924 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-configs.ali -r--r--r-- root/root 19079 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-files.ali -r--r--r-- root/root 28780 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-mappers.ali -r--r--r-- root/root 16394 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-measures.ali -r--r--r-- root/root 25095 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-rest.ali -r--r--r-- root/root 102449 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core.ali -r--r--r-- root/root 13600 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-filters-cache_control.ali -r--r--r-- root/root 12748 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-filters-dump.ali -r--r--r-- root/root 10728 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-filters.ali -r--r--r-- root/root 6866 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-parts-mockup.ali -r--r--r-- root/root 7799 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-parts.ali -r--r--r-- root/root 1933 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-principals.ali -r--r--r-- root/root 25604 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-requests-mockup.ali -r--r--r-- root/root 12885 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-requests-tools.ali -r--r--r-- root/root 44926 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-requests.ali -r--r--r-- root/root 15459 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-resolvers.ali -r--r--r-- root/root 13761 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-responses-mockup.ali -r--r--r-- root/root 8568 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-responses-tools.ali -r--r--r-- root/root 17876 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-responses.ali -r--r--r-- root/root 12350 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-rest-definition.ali -r--r--r-- root/root 10830 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-rest-operation.ali -r--r--r-- root/root 21378 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-rest.ali -r--r--r-- root/root 11499 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-routes-servlets-rest.ali -r--r--r-- root/root 14435 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-routes-servlets.ali -r--r--r-- root/root 35246 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-routes.ali -r--r--r-- root/root 21812 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security-filters-oauth.ali -r--r--r-- root/root 23084 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security-filters.ali -r--r--r-- root/root 21718 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security-oauth.ali -r--r--r-- root/root 30368 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security-servlets.ali -r--r--r-- root/root 556 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security.ali -r--r--r-- root/root 25459 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-server.ali -r--r--r-- root/root 34741 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-sessions-factory.ali -r--r--r-- root/root 19441 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-sessions.ali -r--r--r-- root/root 7548 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-streams-json.ali -r--r--r-- root/root 15220 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-streams-raw.ali -r--r--r-- root/root 8455 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-streams-xml.ali -r--r--r-- root/root 10317 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-streams.ali -r--r--r-- root/root 371 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet.ali -rw-r--r-- root/root 1979388 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/libservletada.a drwxr-xr-x root/root 0 2022-08-02 08:21 ./usr/share/ drwxr-xr-x root/root 0 2022-08-02 08:21 ./usr/share/ada/ drwxr-xr-x root/root 0 2022-08-02 08:21 ./usr/share/ada/adainclude/ drwxr-xr-x root/root 0 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/ -rw-r--r-- root/root 930 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-cookies.ads -rw-r--r-- root/root 2015 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-core-configs.adb -rw-r--r-- root/root 1128 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-core-configs.ads -rw-r--r-- root/root 8432 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-core-files.adb -rw-r--r-- root/root 4977 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-core-files.ads -rw-r--r-- root/root 6717 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-core-mappers.adb -rw-r--r-- root/root 4701 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-core-mappers.ads -rw-r--r-- root/root 7513 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-core-measures.adb -rw-r--r-- root/root 5989 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-core-measures.ads -rw-r--r-- root/root 6782 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-core-rest.adb -rw-r--r-- root/root 2552 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-core-rest.ads -rw-r--r-- root/root 55304 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-core.adb -rw-r--r-- root/root 27692 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-core.ads -rw-r--r-- root/root 2737 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-filters-cache_control.adb -rw-r--r-- root/root 2720 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-filters-cache_control.ads -rw-r--r-- root/root 3392 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-filters-dump.adb -rw-r--r-- root/root 2648 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-filters-dump.ads -rw-r--r-- root/root 3401 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-filters.ads -rw-r--r-- root/root 2578 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-parts-mockup.adb -rw-r--r-- root/root 2044 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-parts-mockup.ads -rw-r--r-- root/root 2298 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-parts.adb -rw-r--r-- root/root 2600 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-parts.ads -rw-r--r-- root/root 1160 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-principals.ads -rw-r--r-- root/root 14827 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-requests-mockup.adb -rw-r--r-- root/root 9673 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-requests-mockup.ads -rw-r--r-- root/root 4525 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-requests-tools.adb -rw-r--r-- root/root 1769 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-requests-tools.ads -rw-r--r-- root/root 35721 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-requests.adb -rw-r--r-- root/root 24405 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-requests.ads -rw-r--r-- root/root 4232 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-resolvers.adb -rw-r--r-- root/root 3260 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-resolvers.ads -rw-r--r-- root/root 5562 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-responses-mockup.adb -rw-r--r-- root/root 3785 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-responses-mockup.ads -rw-r--r-- root/root 3243 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-responses-tools.adb -rw-r--r-- root/root 1298 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-responses-tools.ads -rw-r--r-- root/root 17492 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-responses.adb -rw-r--r-- root/root 17780 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-responses.ads -rw-r--r-- root/root 2386 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-rest-definition.adb -rw-r--r-- root/root 2848 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-rest-definition.ads -rw-r--r-- root/root 1340 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-rest-operation.adb -rw-r--r-- root/root 1216 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-rest-operation.ads -rw-r--r-- root/root 7631 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-rest.adb -rw-r--r-- root/root 4382 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-rest.ads -rw-r--r-- root/root 1323 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-routes-servlets-rest.ads -rw-r--r-- root/root 3340 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-routes-servlets.adb -rw-r--r-- root/root 2048 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-routes-servlets.ads -rw-r--r-- root/root 30571 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-routes.adb -rw-r--r-- root/root 13640 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-routes.ads -rw-r--r-- root/root 5980 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-security-filters-oauth.adb -rw-r--r-- root/root 3721 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-security-filters-oauth.ads -rw-r--r-- root/root 8162 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-security-filters.adb -rw-r--r-- root/root 4296 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-security-filters.ads -rw-r--r-- root/root 5571 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-security-oauth.adb -rw-r--r-- root/root 2380 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-security-oauth.ads -rw-r--r-- root/root 9111 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-security-servlets.adb -rw-r--r-- root/root 6509 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-security-servlets.ads -rw-r--r-- root/root 907 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-security.ads -rw-r--r-- root/root 11449 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-server.adb -rw-r--r-- root/root 5053 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-server.ads -rw-r--r-- root/root 8608 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-sessions-factory.adb -rw-r--r-- root/root 5054 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-sessions-factory.ads -rw-r--r-- root/root 9247 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-sessions.adb -rw-r--r-- root/root 7708 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-sessions.ads -rw-r--r-- root/root 1248 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-streams-json.adb -rw-r--r-- root/root 1189 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-streams-json.ads -rw-r--r-- root/root 6121 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-streams-raw.adb -rw-r--r-- root/root 4586 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-streams-raw.ads -rw-r--r-- root/root 1232 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-streams-xml.adb -rw-r--r-- root/root 1177 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-streams-xml.ads -rw-r--r-- root/root 3830 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-streams.adb -rw-r--r-- root/root 3368 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet-streams.ads -rw-r--r-- root/root 999 2022-08-02 08:21 ./usr/share/ada/adainclude/servletada/servlet.ads drwxr-xr-x root/root 0 2022-08-02 08:21 ./usr/share/doc/ drwxr-xr-x root/root 0 2022-08-02 08:21 ./usr/share/doc/libservletada4-dev/ -rw-r--r-- root/root 273 2022-08-02 08:21 ./usr/share/doc/libservletada4-dev/changelog.gz -rw-r--r-- root/root 1099 2022-08-02 08:21 ./usr/share/doc/libservletada4-dev/copyright drwxr-xr-x root/root 0 2022-08-02 08:21 ./usr/share/gpr/ -rw-r--r-- root/root 590 2022-08-02 08:21 ./usr/share/gpr/servletada.gpr lrwxrwxrwx root/root 0 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/libservletada.so -> libservletada.so.1.6.0
Tags
- Facelet
- NetBSD
- framework
- Mysql
- generator
- firefox
- application
- interview
- ReadyNAS
- Security
- binutils
- ELF
- JSF
- Java
- bacula
- Tutorial
- Apache
- COFF
- collaboration
- planning
- project
- upgrade
- AWA
- C
- EL
- J2EE
- UML
- php
- symfony
- Ethernet
- Ada
- FreeBSD
- Go
- KVM
- MDE
- Proxy
- STM32
- Servlet
- backup
- lvm
- multiprocessing
- web
- Bean
- Jenkins
- release
- OAuth
- ProjectBar
- REST
- Rewrite
- Sqlite
- Storage
- USB
- Ubuntu
- bison
- cache
- crash
- Linux
- gcc
- performance
- lex
Open Source Projects
Hardware Projects
Learn more about Ada
- ada-lang.io (General)
- Ada 2022 LRM (Reference)
- Ada Programming (Book)
- Ada-Europe (Organization)
- Ada-France (Organization)
- Ada Resource Association (Organization)
- Ada Forge (Libraries & Tools)
- AdaCore (Company)
