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

Source:
keystoreada
Version:
1.3.3
Architecture:
amd64
Maintainer:
Stephane Carrez
Installed-Size:
3335
Depends:
gnat, gnat-9, libkeystoreada1.3.3 (= 1.3.3)
Suggests:
libkeystoreada-doc (= 1.3.3)
Section:
libdevel
Priority:
optional
Homepage:
https://github.com/stcarrez/ada-keystore/
Description:
Ada Keystore library (Development) Ada Keystore is a library to store information in secure wallets and protect the stored information by encrypting the content. It is necessary to know one of the wallet password to access its content. Ada Keystore can be used to safely store passwords, credentials, bank accounts and even documents. The library allows one to manage the secure wallets from an Ada program.

Content

drwxr-xr-x root/root         0 2022-08-02 08:58 ./
drwxr-xr-x root/root         0 2022-08-02 08:58 ./usr/
drwxr-xr-x root/root         0 2022-08-02 08:58 ./usr/lib/
drwxr-xr-x root/root         0 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/
drwxr-xr-x root/root         0 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/
drwxr-xr-x root/root         0 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/
drwxr-xr-x root/root         0 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/
-r--r--r-- root/root     13634 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-buffers.ali
-r--r--r-- root/root     22282 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-containers.ali
-r--r--r-- root/root     31237 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-files.ali
-r--r--r-- root/root     11267 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-gpg.ali
-r--r--r-- root/root     37416 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-io-files.ali
-r--r--r-- root/root     22165 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-io-headers.ali
-r--r--r-- root/root     12337 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-io-refs.ali
-r--r--r-- root/root     21443 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-io.ali
-r--r--r-- root/root     37544 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-keys.ali
-r--r--r-- root/root     13299 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-logs.ali
-r--r--r-- root/root     23319 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-marshallers.ali
-r--r--r-- root/root     10055 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-passwords-cmds.ali
-r--r--r-- root/root     19149 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-passwords-files.ali
-r--r--r-- root/root     31069 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-passwords-gpg.ali
-r--r--r-- root/root      7400 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-passwords-input.ali
-r--r--r-- root/root     10953 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-passwords-keys.ali
-r--r--r-- root/root      7096 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-passwords-unsafe.ali
-r--r--r-- root/root      9574 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-passwords.ali
-r--r--r-- root/root     18591 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-properties.ali
-r--r--r-- root/root     12663 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-random.ali
-r--r--r-- root/root     27070 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-repository-data.ali
-r--r--r-- root/root     28093 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-repository-entries.ali
-r--r--r-- root/root     25604 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-repository-keys.ali
-r--r--r-- root/root     37287 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-repository-workers.ali
-r--r--r-- root/root     42520 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-repository.ali
-r--r--r-- root/root     13317 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore-tools.ali
-r--r--r-- root/root     23810 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/ada/adalib/keystoreada/keystore.ali
-rw-r--r-- root/root   2332800 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/libkeystoreada.a
drwxr-xr-x root/root         0 2022-08-02 08:58 ./usr/share/
drwxr-xr-x root/root         0 2022-08-02 08:58 ./usr/share/ada/
drwxr-xr-x root/root         0 2022-08-02 08:58 ./usr/share/ada/adainclude/
drwxr-xr-x root/root         0 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/
-rw-r--r-- root/root      2255 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-buffers.adb
-rw-r--r-- root/root      3698 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-buffers.ads
-rw-r--r-- root/root     11836 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-containers.adb
-rw-r--r-- root/root      6981 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-containers.ads
-rw-r--r-- root/root     19743 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-files.adb
-rw-r--r-- root/root     13513 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-files.ads
-rw-r--r-- root/root      1849 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-gpg.adb
-rw-r--r-- root/root      1568 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-gpg.ads
-rw-r--r-- root/root     23355 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-io-files.adb
-rw-r--r-- root/root      8735 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-io-files.ads
-rw-r--r-- root/root     15110 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-io-headers.adb
-rw-r--r-- root/root      3769 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-io-headers.ads
-rw-r--r-- root/root      2496 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-io-refs.adb
-rw-r--r-- root/root      1696 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-io-refs.ads
-rw-r--r-- root/root      9510 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-io.adb
-rw-r--r-- root/root      6134 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-io.ads
-rw-r--r-- root/root     32716 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-keys.adb
-rw-r--r-- root/root      6457 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-keys.ads
-rw-r--r-- root/root      3349 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-logs.adb
-rw-r--r-- root/root      1889 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-logs.ads
-rw-r--r-- root/root     13597 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-marshallers.adb
-rw-r--r-- root/root      7316 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-marshallers.ads
-rw-r--r-- root/root      1937 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-passwords-cmds.adb
-rw-r--r-- root/root      1138 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-passwords-cmds.ads
-rw-r--r-- root/root     10781 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-passwords-files.adb
-rw-r--r-- root/root      2024 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-passwords-files.ads
-rw-r--r-- root/root     20533 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-passwords-gpg.adb
-rw-r--r-- root/root      7232 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-passwords-gpg.ads
-rw-r--r-- root/root      2014 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-passwords-input.adb
-rw-r--r-- root/root      1172 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-passwords-input.ads
-rw-r--r-- root/root      3793 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-passwords-keys.adb
-rw-r--r-- root/root      1770 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-passwords-keys.ads
-rw-r--r-- root/root      1992 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-passwords-unsafe.adb
-rw-r--r-- root/root      1063 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-passwords-unsafe.ads
-rw-r--r-- root/root      2456 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-passwords.adb
-rw-r--r-- root/root      2753 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-passwords.ads
-rw-r--r-- root/root      7351 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-properties.adb
-rw-r--r-- root/root      1382 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-properties.ads
-rw-r--r-- root/root      5688 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-random.adb
-rw-r--r-- root/root      3089 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-random.ads
-rw-r--r-- root/root     24044 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-repository-data.adb
-rw-r--r-- root/root      4778 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-repository-data.ads
-rw-r--r-- root/root     21574 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-repository-entries.adb
-rw-r--r-- root/root      3375 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-repository-entries.ads
-rw-r--r-- root/root     15576 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-repository-keys.adb
-rw-r--r-- root/root      4451 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-repository-keys.ads
-rw-r--r-- root/root     24833 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-repository-workers.adb
-rw-r--r-- root/root      5965 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-repository-workers.ads
-rw-r--r-- root/root     27407 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-repository.adb
-rw-r--r-- root/root     12213 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-repository.ads
-rw-r--r-- root/root      3737 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-tools.adb
-rw-r--r-- root/root      1729 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore-tools.ads
-rw-r--r-- root/root      5290 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore.adb
-rw-r--r-- root/root     16870 2022-08-02 08:58 ./usr/share/ada/adainclude/keystoreada/keystore.ads
drwxr-xr-x root/root         0 2022-08-02 08:58 ./usr/share/doc/
drwxr-xr-x root/root         0 2022-08-02 08:58 ./usr/share/doc/libkeystoreada3-dev/
-rw-r--r-- root/root       274 2022-08-02 08:58 ./usr/share/doc/libkeystoreada3-dev/changelog.gz
-rw-r--r-- root/root      2390 2022-08-02 08:58 ./usr/share/doc/libkeystoreada3-dev/copyright
drwxr-xr-x root/root         0 2022-08-02 08:58 ./usr/share/gpr/
-rw-r--r-- root/root       549 2022-08-02 08:58 ./usr/share/gpr/keystoreada.gpr
lrwxrwxrwx root/root         0 2022-08-02 08:58 ./usr/lib/x86_64-linux-gnu/libkeystoreada.so -> libkeystoreada.so.1.3.3