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 libopenapi-server3-dev

Source:
libopenapi
Version:
0.6.0
Architecture:
amd64
Maintainer:
Stephane Carrez
Installed-Size:
2070
Depends:
libutilada-sys3-dev, libservletada3-dev, libsecurity3-dev, libopenapi3-dev (= 0.6.0), gnat, gnat-9, libopenapi-server0.6.0 (= 0.6.0)
Section:
libdevel
Priority:
optional
Homepage:
https://github.com/stcarrez/swagger-ada/
Description:
OpenAPI Ada Server Support (development) The OpenAPI Ada library is a small support library for the Ada code generator provided by OpenAPI Codegen. The library provides support to serialize the data, make HTTP requests and support the OpenAPI Spec . This package contains the development files for OpenAPI Ada servers.

Content

drwxr-xr-x root/root         0 2022-08-02 08:59 ./
drwxr-xr-x root/root         0 2022-08-02 08:59 ./usr/
drwxr-xr-x root/root         0 2022-08-02 08:59 ./usr/lib/
drwxr-xr-x root/root         0 2022-08-02 08:59 ./usr/lib/x86_64-linux-gnu/
drwxr-xr-x root/root         0 2022-08-02 08:59 ./usr/lib/x86_64-linux-gnu/ada/
drwxr-xr-x root/root         0 2022-08-02 08:59 ./usr/lib/x86_64-linux-gnu/ada/adalib/
drwxr-xr-x root/root         0 2022-08-02 08:59 ./usr/lib/x86_64-linux-gnu/ada/adalib/openapi_server/
-r--r--r-- root/root     22325 2022-08-02 08:59 ./usr/lib/x86_64-linux-gnu/ada/adalib/openapi_server/openapi-servers-applications.ali
-r--r--r-- root/root     11264 2022-08-02 08:59 ./usr/lib/x86_64-linux-gnu/ada/adalib/openapi_server/openapi-servers-config.ali
-r--r--r-- root/root     14143 2022-08-02 08:59 ./usr/lib/x86_64-linux-gnu/ada/adalib/openapi_server/openapi-servers-operation.ali
-r--r--r-- root/root     27238 2022-08-02 08:59 ./usr/lib/x86_64-linux-gnu/ada/adalib/openapi_server/openapi-servers.ali
-rw-r--r-- root/root    107662 2022-08-02 08:59 ./usr/lib/x86_64-linux-gnu/libopenapi_server.a
drwxr-xr-x root/root         0 2022-08-02 08:59 ./usr/share/
drwxr-xr-x root/root         0 2022-08-02 08:59 ./usr/share/ada/
drwxr-xr-x root/root         0 2022-08-02 08:59 ./usr/share/ada/adainclude/
drwxr-xr-x root/root         0 2022-08-02 08:59 ./usr/share/ada/adainclude/openapi_server/
-rw-r--r-- root/root      3889 2022-08-02 08:59 ./usr/share/ada/adainclude/openapi_server/openapi-servers-applications.adb
-rw-r--r-- root/root      2216 2022-08-02 08:59 ./usr/share/ada/adainclude/openapi_server/openapi-servers-applications.ads
-rw-r--r-- root/root       989 2022-08-02 08:59 ./usr/share/ada/adainclude/openapi_server/openapi-servers-config.ads
-rw-r--r-- root/root      2069 2022-08-02 08:59 ./usr/share/ada/adainclude/openapi_server/openapi-servers-operation.adb
-rw-r--r-- root/root      1527 2022-08-02 08:59 ./usr/share/ada/adainclude/openapi_server/openapi-servers-operation.ads
-rw-r--r-- root/root     12914 2022-08-02 08:59 ./usr/share/ada/adainclude/openapi_server/openapi-servers.adb
-rw-r--r-- root/root      6934 2022-08-02 08:59 ./usr/share/ada/adainclude/openapi_server/openapi-servers.ads
drwxr-xr-x root/root         0 2022-08-02 08:59 ./usr/share/doc/
drwxr-xr-x root/root         0 2022-08-02 08:59 ./usr/share/doc/libopenapi-server3-dev/
-rw-r--r-- root/root       268 2022-08-02 08:59 ./usr/share/doc/libopenapi-server3-dev/changelog.gz
-rw-r--r-- root/root      1102 2022-08-02 08:59 ./usr/share/doc/libopenapi-server3-dev/copyright
drwxr-xr-x root/root         0 2022-08-02 08:59 ./usr/share/gpr/
-rw-r--r-- root/root       652 2022-08-02 08:59 ./usr/share/gpr/openapi_server.gpr
drwxr-xr-x root/root         0 2022-08-02 08:59 ./usr/share/openapi-ada/
drwxr-xr-x root/root         0 2022-08-02 08:59 ./usr/share/openapi-ada/web/
drwxr-xr-x root/root         0 2022-08-02 08:59 ./usr/share/openapi-ada/web/ui/
-rw-r--r-- root/root       665 2020-11-11 18:18 ./usr/share/openapi-ada/web/ui/favicon-16x16.png
-rw-r--r-- root/root       628 2020-11-11 18:18 ./usr/share/openapi-ada/web/ui/favicon-32x32.png
-rw-r--r-- root/root       734 2022-08-02 08:59 ./usr/share/openapi-ada/web/ui/index.html
-rw-r--r-- root/root      2697 2022-08-02 08:59 ./usr/share/openapi-ada/web/ui/oauth2-redirect.html
-rw-r--r-- root/root       519 2022-08-02 08:59 ./usr/share/openapi-ada/web/ui/swagger-initializer.js
-rw-r--r-- root/root   1097238 2022-08-02 08:59 ./usr/share/openapi-ada/web/ui/swagger-ui-bundle.js
-rw-r--r-- root/root    339612 2022-08-02 08:59 ./usr/share/openapi-ada/web/ui/swagger-ui-standalone-preset.js
-rw-r--r-- root/root    144210 2022-08-02 08:59 ./usr/share/openapi-ada/web/ui/swagger-ui.css
-rw-r--r-- root/root    287778 2022-08-02 08:59 ./usr/share/openapi-ada/web/ui/swagger-ui.js
lrwxrwxrwx root/root         0 2022-08-02 08:59 ./usr/lib/x86_64-linux-gnu/libopenapi_server.so -> libopenapi_server.so.0.6.0