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

Source:
libservletada
Version:
1.6.0
Architecture:
amd64
Maintainer:
Stephane Carrez
Installed-Size:
3188
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   1959956 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

Open Source Projects

Hardware Projects

Learn more about Ada