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

Source:
libwikiada
Version:
1.4.0
Architecture:
amd64
Maintainer:
Stephane Carrez
Installed-Size:
4512
Depends:
libutilada-core3-dev, gnat, gnat-9, libwikiada1.4.0 (= 1.4.0)
Suggests:
libwikiada-doc (= 1.4.0)
Section:
libdevel
Priority:
optional
Homepage:
https://github.com/stcarrez/ada-wiki/
Description:
Ada Wiki Engine (Development) Ada Wiki is a small library that provides a Wiki engine supporting . * Parse a wiki text such as Markdown, Mediawiki, Creole, Dotclear, * Parse HTML content in embedded wiki text, * Filter out the wiki, HTML or text through customizable filters, * Render the wiki text in HTML, text or another wiki format.

Content

drwxr-xr-x root/root         0 2022-08-02 09:10 ./
drwxr-xr-x root/root         0 2022-08-02 09:10 ./usr/
drwxr-xr-x root/root         0 2022-08-02 09:10 ./usr/lib/
drwxr-xr-x root/root         0 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/
drwxr-xr-x root/root         0 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/
drwxr-xr-x root/root         0 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/
drwxr-xr-x root/root         0 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/
-r--r--r-- root/root     14122 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-attributes.ali
-r--r--r-- root/root     16688 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-buffers.ali
-r--r--r-- root/root     20074 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-documents.ali
-r--r--r-- root/root      9776 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-filters-autolink.ali
-r--r--r-- root/root     17209 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-filters-collectors.ali
-r--r--r-- root/root     15165 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-filters-html.ali
-r--r--r-- root/root     11413 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-filters-toc.ali
-r--r--r-- root/root     13781 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-filters-variables.ali
-r--r--r-- root/root     14958 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-filters.ali
-r--r--r-- root/root      8020 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-helpers-parser.ali
-r--r--r-- root/root      9637 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-helpers.ali
-r--r--r-- root/root     79756 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-html_parser-entities.ali
-r--r--r-- root/root     17819 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-html_parser.ali
-r--r--r-- root/root      9330 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-nodes-dump.ali
-r--r--r-- root/root     10122 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-nodes-lists.ali
-r--r--r-- root/root     11168 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-nodes.ali
-r--r--r-- root/root     34851 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers-common.ali
-r--r--r-- root/root     13444 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers-creole.ali
-r--r--r-- root/root     15727 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers-dotclear.ali
-r--r--r-- root/root      9869 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers-google.ali
-r--r--r-- root/root      9556 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers-html.ali
-r--r--r-- root/root     41999 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers-markdown.ali
-r--r--r-- root/root     11015 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers-mediawiki.ali
-r--r--r-- root/root     15774 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers-textile.ali
-r--r--r-- root/root     38616 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers.ali
-r--r--r-- root/root     10920 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-plugins-conditions.ali
-r--r--r-- root/root     12755 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-plugins-templates.ali
-r--r--r-- root/root      9940 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-plugins-variables.ali
-r--r--r-- root/root      8080 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-plugins.ali
-r--r--r-- root/root     33144 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-render-html.ali
-r--r--r-- root/root      8761 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-render-links.ali
-r--r--r-- root/root     17280 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-render-text.ali
-r--r--r-- root/root     39826 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-render-wiki.ali
-r--r--r-- root/root      8328 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-render.ali
-r--r--r-- root/root      9290 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-streams-builders.ali
-r--r--r-- root/root      7459 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-streams-html-builders.ali
-r--r--r-- root/root      9122 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-streams-html-stream.ali
-r--r--r-- root/root      7690 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-streams-html-text_io.ali
-r--r--r-- root/root      8820 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-streams-html.ali
-r--r--r-- root/root     10834 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-streams-text_io.ali
-r--r--r-- root/root      6402 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-streams.ali
-r--r--r-- root/root     15040 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-strings.ali
-r--r--r-- root/root     11064 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-utils.ali
-r--r--r-- root/root     13023 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki.ali
-rw-r--r-- root/root   2865376 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/libwikiada.a
drwxr-xr-x root/root         0 2022-08-02 09:10 ./usr/share/
drwxr-xr-x root/root         0 2022-08-02 09:10 ./usr/share/ada/
drwxr-xr-x root/root         0 2022-08-02 09:10 ./usr/share/ada/adainclude/
drwxr-xr-x root/root         0 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/
-rw-r--r-- root/root      7565 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-attributes.adb
-rw-r--r-- root/root      4984 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-attributes.ads
-rw-r--r-- root/root     17707 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-buffers.adb
-rw-r--r-- root/root      7453 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-buffers.ads
-rw-r--r-- root/root     18056 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-documents.adb
-rw-r--r-- root/root      7495 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-documents.ads
-rw-r--r-- root/root      3670 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-filters-autolink.adb
-rw-r--r-- root/root      2369 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-filters-autolink.ads
-rw-r--r-- root/root      8395 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-filters-collectors.adb
-rw-r--r-- root/root      7430 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-filters-collectors.ads
-rw-r--r-- root/root      8394 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-filters-html.adb
-rw-r--r-- root/root      6634 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-filters-html.ads
-rw-r--r-- root/root      4227 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-filters-toc.adb
-rw-r--r-- root/root      2555 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-filters-toc.ads
-rw-r--r-- root/root      7630 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-filters-variables.adb
-rw-r--r-- root/root      4255 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-filters-variables.ads
-rw-r--r-- root/root     10792 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-filters.adb
-rw-r--r-- root/root      7738 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-filters.ads
-rw-r--r-- root/root      2958 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-helpers-parser.adb
-rw-r--r-- root/root      1700 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-helpers-parser.ads
-rw-r--r-- root/root      7545 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-helpers.adb
-rw-r--r-- root/root      3947 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-helpers.ads
-rw-r--r-- root/root    287630 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-html_parser-entities.ads
-rw-r--r-- root/root     21645 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-html_parser.adb
-rw-r--r-- root/root      4378 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-html_parser.ads
-rw-r--r-- root/root      4324 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-nodes-dump.adb
-rw-r--r-- root/root      1028 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-nodes-dump.ads
-rw-r--r-- root/root      3394 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-nodes-lists.adb
-rw-r--r-- root/root      2196 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-nodes-lists.ads
-rw-r--r-- root/root      3716 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-nodes.adb
-rw-r--r-- root/root      4600 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-nodes.ads
-rw-r--r-- root/root     42237 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers-common.adb
-rw-r--r-- root/root      6107 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers-common.ads
-rw-r--r-- root/root     10324 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers-creole.adb
-rw-r--r-- root/root      1073 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers-creole.ads
-rw-r--r-- root/root     13628 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers-dotclear.adb
-rw-r--r-- root/root      1080 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers-dotclear.ads
-rw-r--r-- root/root      4995 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers-google.adb
-rw-r--r-- root/root      1077 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers-google.ads
-rw-r--r-- root/root      4520 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers-html.adb
-rw-r--r-- root/root      1582 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers-html.ads
-rw-r--r-- root/root     57341 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers-markdown.adb
-rw-r--r-- root/root      1215 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers-markdown.ads
-rw-r--r-- root/root      6762 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers-mediawiki.adb
-rw-r--r-- root/root      1084 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers-mediawiki.ads
-rw-r--r-- root/root     13110 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers-textile.adb
-rw-r--r-- root/root      1069 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers-textile.ads
-rw-r--r-- root/root     36668 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers.adb
-rw-r--r-- root/root     11633 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-parsers.ads
-rw-r--r-- root/root      4347 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-plugins-conditions.adb
-rw-r--r-- root/root      2842 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-plugins-conditions.ads
-rw-r--r-- root/root      4149 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-plugins-templates.adb
-rw-r--r-- root/root      3469 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-plugins-templates.ads
-rw-r--r-- root/root      3450 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-plugins-variables.adb
-rw-r--r-- root/root      1924 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-plugins-variables.ads
-rw-r--r-- root/root      2974 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-plugins.ads
-rw-r--r-- root/root     36958 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-render-html.adb
-rw-r--r-- root/root      5551 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-render-html.ads
-rw-r--r-- root/root      2124 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-render-links.adb
-rw-r--r-- root/root      2881 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-render-links.ads
-rw-r--r-- root/root     12829 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-render-text.adb
-rw-r--r-- root/root      4709 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-render-text.ads
-rw-r--r-- root/root     47763 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-render-wiki.adb
-rw-r--r-- root/root      9375 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-render-wiki.ads
-rw-r--r-- root/root      2074 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-render.adb
-rw-r--r-- root/root      2268 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-render.ads
-rw-r--r-- root/root      3407 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-streams-builders.adb
-rw-r--r-- root/root      2553 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-streams-builders.ads
-rw-r--r-- root/root      1377 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-streams-html-builders.ads
-rw-r--r-- root/root      6703 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-streams-html-stream.adb
-rw-r--r-- root/root      3086 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-streams-html-stream.ads
-rw-r--r-- root/root      1058 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-streams-html-text_io.ads
-rw-r--r-- root/root      4137 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-streams-html.adb
-rw-r--r-- root/root      4052 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-streams-html.ads
-rw-r--r-- root/root      5967 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-streams-text_io.adb
-rw-r--r-- root/root      4189 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-streams-text_io.ads
-rw-r--r-- root/root      2773 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-streams.ads
-rw-r--r-- root/root      4730 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-strings.adb
-rw-r--r-- root/root      6478 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-strings.ads
-rw-r--r-- root/root      2802 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-utils.adb
-rw-r--r-- root/root      1370 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki-utils.ads
-rw-r--r-- root/root     31514 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki.adb
-rw-r--r-- root/root      8288 2022-08-02 09:10 ./usr/share/ada/adainclude/wikiada/wiki.ads
drwxr-xr-x root/root         0 2022-08-02 09:10 ./usr/share/doc/
drwxr-xr-x root/root         0 2022-08-02 09:10 ./usr/share/doc/libwikiada3-dev/
-rw-r--r-- root/root       300 2022-08-02 09:10 ./usr/share/doc/libwikiada3-dev/changelog.gz
-rw-r--r-- root/root      1034 2021-02-14 18:11 ./usr/share/doc/libwikiada3-dev/copyright
drwxr-xr-x root/root         0 2022-08-02 09:10 ./usr/share/gpr/
-rw-r--r-- root/root       554 2022-08-02 09:10 ./usr/share/gpr/wikiada.gpr
lrwxrwxrwx root/root         0 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/libwikiada.so -> libwikiada.so.1.4.0