Java 2 Ada

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 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 apt-key add -
To access this Debian respository and install it on Ubuntu 18.04 (bionic), you can add the following line to your /etc/apt/sources.list configuration file:
deb https://apt.vacs.fr/ubuntu-bionic bionic 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 apt-key add -
To access this Debian respository and install it on Debian 10 (buster), you can add the following line to your /etc/apt/sources.list configuration file:
deb https://apt.vacs.fr/debian-buster buster 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 apt-key add -

Package libservletada3-dev

Source:
libservletada
Version:
1.5.2
Architecture:
amd64
Maintainer:
Stephane Carrez
Installed-Size:
2906
Depends:
libutilada-sys3-dev, libelada3-dev, libsecurity3-dev, gnat, gnat-9, libservletada1.5.2 (= 1.5.2)
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-07-25 18:32 ./
drwxr-xr-x root/root         0 2021-07-25 18:32 ./usr/
drwxr-xr-x root/root         0 2021-07-25 18:32 ./usr/lib/
drwxr-xr-x root/root         0 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/
drwxr-xr-x root/root         0 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/
drwxr-xr-x root/root         0 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/
drwxr-xr-x root/root         0 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/
-r--r--r-- root/root      2716 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-cookies.ali
-r--r--r-- root/root     15046 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-configs.ali
-r--r--r-- root/root     16980 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-files.ali
-r--r--r-- root/root     19965 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-mappers.ali
-r--r--r-- root/root     14796 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-measures.ali
-r--r--r-- root/root     18657 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core-rest.ali
-r--r--r-- root/root     45737 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-core.ali
-r--r--r-- root/root     13292 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-filters-cache_control.ali
-r--r--r-- root/root     12793 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-filters-dump.ali
-r--r--r-- root/root     10974 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-filters.ali
-r--r--r-- root/root      6054 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-parts-mockup.ali
-r--r--r-- root/root      8520 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-parts.ali
-r--r--r-- root/root      1926 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-principals.ali
-r--r--r-- root/root     21453 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-requests-mockup.ali
-r--r--r-- root/root     12388 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-requests-tools.ali
-r--r--r-- root/root     34211 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-requests.ali
-r--r--r-- root/root     14350 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-resolvers.ali
-r--r--r-- root/root     12367 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-responses-mockup.ali
-r--r--r-- root/root      9079 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-responses-tools.ali
-r--r--r-- root/root     16366 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-responses.ali
-r--r--r-- root/root     12916 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-rest-definition.ali
-r--r--r-- root/root     11239 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-rest-operation.ali
-r--r--r-- root/root     19183 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-rest.ali
-r--r--r-- root/root     11837 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-routes-servlets-rest.ali
-r--r--r-- root/root     13505 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-routes-servlets.ali
-r--r--r-- root/root     26270 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-routes.ali
-r--r--r-- root/root     20163 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security-filters-oauth.ali
-r--r--r-- root/root     21506 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security-filters.ali
-r--r--r-- root/root     19285 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security-oauth.ali
-r--r--r-- root/root     20297 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security-servlets.ali
-r--r--r-- root/root       549 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-security.ali
-r--r--r-- root/root     21387 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-server.ali
-r--r--r-- root/root     19102 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-sessions-factory.ali
-r--r--r-- root/root     15796 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-sessions.ali
-r--r--r-- root/root      8381 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-streams-json.ali
-r--r--r-- root/root      8815 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet-streams.ali
-r--r--r-- root/root       364 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/ada/adalib/servletada/servlet.ali
-rw-r--r-- root/root   1864284 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/libservletada.a
drwxr-xr-x root/root         0 2021-07-25 18:32 ./usr/share/
drwxr-xr-x root/root         0 2021-07-25 18:32 ./usr/share/ada/
drwxr-xr-x root/root         0 2021-07-25 18:32 ./usr/share/ada/adainclude/
drwxr-xr-x root/root         0 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/
-rw-r--r-- root/root       930 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-cookies.ads
-rw-r--r-- root/root      2015 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-core-configs.adb
-rw-r--r-- root/root      1128 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-core-configs.ads
-rw-r--r-- root/root      7933 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-core-files.adb
-rw-r--r-- root/root      4929 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-core-files.ads
-rw-r--r-- root/root      6717 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-core-mappers.adb
-rw-r--r-- root/root      4701 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-core-mappers.ads
-rw-r--r-- root/root      7493 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-core-measures.adb
-rw-r--r-- root/root      5969 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-core-measures.ads
-rw-r--r-- root/root      5825 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-core-rest.adb
-rw-r--r-- root/root      2552 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-core-rest.ads
-rw-r--r-- root/root     55294 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-core.adb
-rw-r--r-- root/root     27692 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-core.ads
-rw-r--r-- root/root      2717 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-filters-cache_control.adb
-rw-r--r-- root/root      2700 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-filters-cache_control.ads
-rw-r--r-- root/root      3372 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-filters-dump.adb
-rw-r--r-- root/root      2628 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-filters-dump.ads
-rw-r--r-- root/root      3401 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-filters.ads
-rw-r--r-- root/root      2578 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-parts-mockup.adb
-rw-r--r-- root/root      2044 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-parts-mockup.ads
-rw-r--r-- root/root      2298 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-parts.adb
-rw-r--r-- root/root      2600 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-parts.ads
-rw-r--r-- root/root      1160 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-principals.ads
-rw-r--r-- root/root     14651 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-requests-mockup.adb
-rw-r--r-- root/root      9497 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-requests-mockup.ads
-rw-r--r-- root/root      4525 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-requests-tools.adb
-rw-r--r-- root/root      1769 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-requests-tools.ads
-rw-r--r-- root/root     38282 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-requests.adb
-rw-r--r-- root/root     24322 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-requests.ads
-rw-r--r-- root/root      4232 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-resolvers.adb
-rw-r--r-- root/root      3260 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-resolvers.ads
-rw-r--r-- root/root      5500 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-responses-mockup.adb
-rw-r--r-- root/root      3723 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-responses-mockup.ads
-rw-r--r-- root/root      3243 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-responses-tools.adb
-rw-r--r-- root/root      1298 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-responses-tools.ads
-rw-r--r-- root/root     17487 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-responses.adb
-rw-r--r-- root/root     17776 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-responses.ads
-rw-r--r-- root/root      2386 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-rest-definition.adb
-rw-r--r-- root/root      2848 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-rest-definition.ads
-rw-r--r-- root/root      1303 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-rest-operation.adb
-rw-r--r-- root/root      1168 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-rest-operation.ads
-rw-r--r-- root/root      7064 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-rest.adb
-rw-r--r-- root/root      3700 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-rest.ads
-rw-r--r-- root/root      1324 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-routes-servlets-rest.ads
-rw-r--r-- root/root      3340 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-routes-servlets.adb
-rw-r--r-- root/root      2048 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-routes-servlets.ads
-rw-r--r-- root/root     30495 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-routes.adb
-rw-r--r-- root/root     13640 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-routes.ads
-rw-r--r-- root/root      5946 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-security-filters-oauth.adb
-rw-r--r-- root/root      3701 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-security-filters-oauth.ads
-rw-r--r-- root/root      8123 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-security-filters.adb
-rw-r--r-- root/root      4276 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-security-filters.ads
-rw-r--r-- root/root      5555 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-security-oauth.adb
-rw-r--r-- root/root      2380 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-security-oauth.ads
-rw-r--r-- root/root      9058 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-security-servlets.adb
-rw-r--r-- root/root      6508 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-security-servlets.ads
-rw-r--r-- root/root       907 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-security.ads
-rw-r--r-- root/root     11449 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-server.adb
-rw-r--r-- root/root      5053 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-server.ads
-rw-r--r-- root/root      8608 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-sessions-factory.adb
-rw-r--r-- root/root      5054 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-sessions-factory.ads
-rw-r--r-- root/root      9247 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-sessions.adb
-rw-r--r-- root/root      7708 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-sessions.ads
-rw-r--r-- root/root      1248 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-streams-json.adb
-rw-r--r-- root/root      1189 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-streams-json.ads
-rw-r--r-- root/root      3796 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-streams.adb
-rw-r--r-- root/root      3334 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet-streams.ads
-rw-r--r-- root/root       999 2021-07-25 18:32 ./usr/share/ada/adainclude/servletada/servlet.ads
drwxr-xr-x root/root         0 2021-07-25 18:32 ./usr/share/doc/
drwxr-xr-x root/root         0 2021-07-25 18:32 ./usr/share/doc/libservletada3-dev/
-rw-r--r-- root/root       262 2021-07-25 18:32 ./usr/share/doc/libservletada3-dev/changelog.gz
-rw-r--r-- root/root      1099 2021-02-14 18:13 ./usr/share/doc/libservletada3-dev/copyright
drwxr-xr-x root/root         0 2021-07-25 18:32 ./usr/share/gpr/
-rw-r--r-- root/root       607 2021-07-25 18:32 ./usr/share/gpr/servletada.gpr
lrwxrwxrwx root/root         0 2021-07-25 18:32 ./usr/lib/x86_64-linux-gnu/libservletada.so -> libservletada.so.1.5.2