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 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
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)
