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:
deb https://apt.vacs.fr/ubuntu-jammy jammy main
And 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 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 main
And 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 main
And 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 libservletada3-dev

Source:
libservletada
Version:
1.6.0
Architecture:
amd64
Maintainer:
Stephane Carrez
Installed-Size:
2995
Depends:
libutilada-sys3-dev, libelada3-dev, libsecurity3-dev, gnat, gnat-9, 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      3145 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-cookies.ali
-r--r--r-- root/root     15708 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-configs.ali
-r--r--r-- root/root     18354 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-files.ali
-r--r--r-- root/root     20605 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-mappers.ali
-r--r--r-- root/root     15748 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-measures.ali
-r--r--r-- root/root     21999 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-rest.ali
-r--r--r-- root/root     46345 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core.ali
-r--r--r-- root/root     14239 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-filters-cache_control.ali
-r--r--r-- root/root     13386 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-filters-dump.ali
-r--r--r-- root/root     11921 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-filters.ali
-r--r--r-- root/root      6054 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-parts-mockup.ali
-r--r--r-- root/root      8681 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-parts.ali
-r--r--r-- root/root      1926 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-principals.ali
-r--r--r-- root/root     22408 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-requests-mockup.ali
-r--r--r-- root/root     13284 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-requests-tools.ali
-r--r--r-- root/root     33240 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-requests.ali
-r--r--r-- root/root     15348 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-resolvers.ali
-r--r--r-- root/root     12530 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-responses-mockup.ali
-r--r--r-- root/root      9240 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-responses-tools.ali
-r--r--r-- root/root     16527 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-responses.ali
-r--r--r-- root/root     13543 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-rest-definition.ali
-r--r--r-- root/root     12024 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-rest-operation.ali
-r--r--r-- root/root     21039 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-rest.ali
-r--r--r-- root/root     12431 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-routes-servlets-rest.ali
-r--r--r-- root/root     14098 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-routes-servlets.ali
-r--r--r-- root/root     26325 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-routes.ali
-r--r--r-- root/root     20828 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security-filters-oauth.ali
-r--r--r-- root/root     22136 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security-filters.ali
-r--r--r-- root/root     19847 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security-oauth.ali
-r--r--r-- root/root     20893 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security-servlets.ali
-r--r--r-- root/root       549 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security.ali
-r--r--r-- root/root     22020 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-server.ali
-r--r--r-- root/root     19518 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-sessions-factory.ali
-r--r--r-- root/root     16184 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-sessions.ali
-r--r--r-- root/root      8542 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-streams-json.ali
-r--r--r-- root/root     13402 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-streams-raw.ali
-r--r--r-- root/root      9937 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-streams-xml.ali
-r--r--r-- root/root      9047 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-streams.ali
-r--r--r-- root/root       364 2022-08-02 08:21 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet.ali
-rw-r--r-- root/root   1888376 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/libservletada3-dev/
-rw-r--r-- root/root       289 2022-08-02 08:21 ./usr/share/doc/libservletada3-dev/changelog.gz
-rw-r--r-- root/root      1099 2022-08-02 08:21 ./usr/share/doc/libservletada3-dev/copyright
drwxr-xr-x root/root         0 2022-08-02 08:21 ./usr/share/gpr/
-rw-r--r-- root/root       607 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