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 libservletada2-dev

Source:
libservletada
Version:
1.5.1
Architecture:
amd64
Maintainer:
Stephane Carrez
Installed-Size:
2906
Depends:
libutilada-sys2-dev, libelada2-dev, libsecurity2-dev, gnat, gnat-9, libservletada1.5.1 (= 1.5.1)
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 2021-02-13 16:32 ./
drwxr-xr-x root/root         0 2021-02-13 16:32 ./usr/
drwxr-xr-x root/root         0 2021-02-13 16:32 ./usr/lib/
drwxr-xr-x root/root         0 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/
drwxr-xr-x root/root         0 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/
drwxr-xr-x root/root         0 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/
drwxr-xr-x root/root         0 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/
-r--r--r-- root/root      2721 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-cookies.ali
-r--r--r-- root/root     15051 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-configs.ali
-r--r--r-- root/root     16985 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-files.ali
-r--r--r-- root/root     19970 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-mappers.ali
-r--r--r-- root/root     14801 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-measures.ali
-r--r--r-- root/root     18662 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-rest.ali
-r--r--r-- root/root     45757 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core.ali
-r--r--r-- root/root     13297 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-filters-cache_control.ali
-r--r--r-- root/root     12798 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-filters-dump.ali
-r--r--r-- root/root     10979 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-filters.ali
-r--r--r-- root/root      6059 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-parts-mockup.ali
-r--r--r-- root/root      8525 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-parts.ali
-r--r--r-- root/root      1931 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-principals.ali
-r--r--r-- root/root     21458 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-requests-mockup.ali
-r--r--r-- root/root     12393 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-requests-tools.ali
-r--r--r-- root/root     34231 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-requests.ali
-r--r--r-- root/root     14370 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-resolvers.ali
-r--r--r-- root/root     12372 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-responses-mockup.ali
-r--r--r-- root/root      9084 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-responses-tools.ali
-r--r--r-- root/root     16371 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-responses.ali
-r--r--r-- root/root     12936 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-rest-definition.ali
-r--r--r-- root/root     11244 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-rest-operation.ali
-r--r--r-- root/root     19203 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-rest.ali
-r--r--r-- root/root     11842 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-routes-servlets-rest.ali
-r--r--r-- root/root     13510 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-routes-servlets.ali
-r--r--r-- root/root     26290 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-routes.ali
-r--r--r-- root/root     20168 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security-filters-oauth.ali
-r--r--r-- root/root     21511 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security-filters.ali
-r--r--r-- root/root     19290 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security-oauth.ali
-r--r--r-- root/root     20302 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security-servlets.ali
-r--r--r-- root/root       554 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security.ali
-r--r--r-- root/root     21392 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-server.ali
-r--r--r-- root/root     19107 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-sessions-factory.ali
-r--r--r-- root/root     15801 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-sessions.ali
-r--r--r-- root/root      8386 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-streams-json.ali
-r--r--r-- root/root      8820 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-streams.ali
-r--r--r-- root/root       369 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet.ali
-rw-r--r-- root/root   1864284 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/libservletada.a
drwxr-xr-x root/root         0 2021-02-13 16:32 ./usr/share/
drwxr-xr-x root/root         0 2021-02-13 16:32 ./usr/share/ada/
drwxr-xr-x root/root         0 2021-02-13 16:32 ./usr/share/ada/adainclude/
drwxr-xr-x root/root         0 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/
-rw-r--r-- root/root       930 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-cookies.ads
-rw-r--r-- root/root      2015 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-core-configs.adb
-rw-r--r-- root/root      1128 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-core-configs.ads
-rw-r--r-- root/root      7933 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-core-files.adb
-rw-r--r-- root/root      4929 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-core-files.ads
-rw-r--r-- root/root      6717 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-core-mappers.adb
-rw-r--r-- root/root      4701 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-core-mappers.ads
-rw-r--r-- root/root      7493 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-core-measures.adb
-rw-r--r-- root/root      5969 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-core-measures.ads
-rw-r--r-- root/root      5825 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-core-rest.adb
-rw-r--r-- root/root      2552 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-core-rest.ads
-rw-r--r-- root/root     55294 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-core.adb
-rw-r--r-- root/root     27692 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-core.ads
-rw-r--r-- root/root      2717 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-filters-cache_control.adb
-rw-r--r-- root/root      2700 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-filters-cache_control.ads
-rw-r--r-- root/root      3372 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-filters-dump.adb
-rw-r--r-- root/root      2628 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-filters-dump.ads
-rw-r--r-- root/root      3401 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-filters.ads
-rw-r--r-- root/root      2578 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-parts-mockup.adb
-rw-r--r-- root/root      2044 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-parts-mockup.ads
-rw-r--r-- root/root      2298 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-parts.adb
-rw-r--r-- root/root      2600 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-parts.ads
-rw-r--r-- root/root      1160 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-principals.ads
-rw-r--r-- root/root     14651 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-requests-mockup.adb
-rw-r--r-- root/root      9497 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-requests-mockup.ads
-rw-r--r-- root/root      4525 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-requests-tools.adb
-rw-r--r-- root/root      1769 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-requests-tools.ads
-rw-r--r-- root/root     38282 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-requests.adb
-rw-r--r-- root/root     24322 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-requests.ads
-rw-r--r-- root/root      4232 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-resolvers.adb
-rw-r--r-- root/root      3260 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-resolvers.ads
-rw-r--r-- root/root      5494 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-responses-mockup.adb
-rw-r--r-- root/root      3723 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-responses-mockup.ads
-rw-r--r-- root/root      3243 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-responses-tools.adb
-rw-r--r-- root/root      1298 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-responses-tools.ads
-rw-r--r-- root/root     17487 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-responses.adb
-rw-r--r-- root/root     17776 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-responses.ads
-rw-r--r-- root/root      2386 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-rest-definition.adb
-rw-r--r-- root/root      2848 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-rest-definition.ads
-rw-r--r-- root/root      1303 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-rest-operation.adb
-rw-r--r-- root/root      1168 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-rest-operation.ads
-rw-r--r-- root/root      7064 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-rest.adb
-rw-r--r-- root/root      3700 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-rest.ads
-rw-r--r-- root/root      1324 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-routes-servlets-rest.ads
-rw-r--r-- root/root      3340 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-routes-servlets.adb
-rw-r--r-- root/root      2048 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-routes-servlets.ads
-rw-r--r-- root/root     30495 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-routes.adb
-rw-r--r-- root/root     13623 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-routes.ads
-rw-r--r-- root/root      5946 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-security-filters-oauth.adb
-rw-r--r-- root/root      3701 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-security-filters-oauth.ads
-rw-r--r-- root/root      8123 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-security-filters.adb
-rw-r--r-- root/root      4276 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-security-filters.ads
-rw-r--r-- root/root      5555 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-security-oauth.adb
-rw-r--r-- root/root      2380 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-security-oauth.ads
-rw-r--r-- root/root      9058 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-security-servlets.adb
-rw-r--r-- root/root      6508 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-security-servlets.ads
-rw-r--r-- root/root       907 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-security.ads
-rw-r--r-- root/root     11449 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-server.adb
-rw-r--r-- root/root      5053 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-server.ads
-rw-r--r-- root/root      8608 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-sessions-factory.adb
-rw-r--r-- root/root      5054 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-sessions-factory.ads
-rw-r--r-- root/root      9247 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-sessions.adb
-rw-r--r-- root/root      7692 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-sessions.ads
-rw-r--r-- root/root      1248 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-streams-json.adb
-rw-r--r-- root/root      1189 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-streams-json.ads
-rw-r--r-- root/root      3796 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-streams.adb
-rw-r--r-- root/root      3334 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet-streams.ads
-rw-r--r-- root/root       999 2021-02-13 16:32 ./usr/share/ada/adainclude/servletada/servlet.ads
drwxr-xr-x root/root         0 2021-02-13 16:32 ./usr/share/doc/
drwxr-xr-x root/root         0 2021-02-13 16:32 ./usr/share/doc/libservletada2-dev/
-rw-r--r-- root/root       245 2021-02-13 16:32 ./usr/share/doc/libservletada2-dev/changelog.gz
-rw-r--r-- root/root      1099 2021-02-13 16:32 ./usr/share/doc/libservletada2-dev/copyright
drwxr-xr-x root/root         0 2021-02-13 16:32 ./usr/share/gpr/
-rw-r--r-- root/root       607 2021-02-13 16:32 ./usr/share/gpr/servletada.gpr
lrwxrwxrwx root/root         0 2021-02-13 16:32 ./usr/lib/x86_64-linux-gnu/libservletada.so -> libservletada.so.1.5.1