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

Source:
libwikiada
Version:
1.4.0
Architecture:
amd64
Maintainer:
Stephane Carrez
Installed-Size:
4778
Depends:
libutilada-core4-dev, gnat, gnat-10, 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     29116 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-attributes.ali
-r--r--r-- root/root     16774 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-buffers.ali
-r--r--r-- root/root     24470 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-documents.ali
-r--r--r-- root/root      9710 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-filters-autolink.ali
-r--r--r-- root/root     32531 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-filters-collectors.ali
-r--r--r-- root/root     25073 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-filters-html.ali
-r--r--r-- root/root     11177 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-filters-toc.ali
-r--r--r-- root/root     16409 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-filters-variables.ali
-r--r--r-- root/root     16121 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-filters.ali
-r--r--r-- root/root      6579 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-helpers-parser.ali
-r--r--r-- root/root      8811 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-helpers.ali
-r--r--r-- root/root     78389 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-html_parser-entities.ali
-r--r--r-- root/root     20313 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-html_parser.ali
-r--r--r-- root/root      7886 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-nodes-dump.ali
-r--r--r-- root/root     12185 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-nodes-lists.ali
-r--r--r-- root/root     10724 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-nodes.ali
-r--r--r-- root/root     52222 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers-common.ali
-r--r--r-- root/root     16610 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers-creole.ali
-r--r--r-- root/root     20121 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers-dotclear.ali
-r--r--r-- root/root     10213 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers-google.ali
-r--r--r-- root/root      9259 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers-html.ali
-r--r--r-- root/root     70550 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers-markdown.ali
-r--r--r-- root/root     12689 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers-mediawiki.ali
-r--r--r-- root/root     20935 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers-textile.ali
-r--r--r-- root/root     69251 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-parsers.ali
-r--r--r-- root/root     10999 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-plugins-conditions.ali
-r--r--r-- root/root     13681 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-plugins-templates.ali
-r--r--r-- root/root     10018 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-plugins-variables.ali
-r--r--r-- root/root      7401 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-plugins.ali
-r--r--r-- root/root     40297 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-render-html.ali
-r--r--r-- root/root      7545 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-render-links.ali
-r--r--r-- root/root     16887 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-render-text.ali
-r--r--r-- root/root     41698 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-render-wiki.ali
-r--r--r-- root/root      7086 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-render.ali
-r--r--r-- root/root      9587 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-streams-builders.ali
-r--r--r-- root/root      8810 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-streams-html-builders.ali
-r--r--r-- root/root      7900 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-streams-html-stream.ali
-r--r--r-- root/root      8712 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      7921 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-streams-html.ali
-r--r--r-- root/root     10335 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-streams-text_io.ali
-r--r--r-- root/root      5067 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-streams.ali
-r--r--r-- root/root     25882 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-strings.ali
-r--r--r-- root/root     13210 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki-utils.ali
-r--r--r-- root/root     13243 2022-08-02 09:10 ./usr/lib/x86_64-linux-gnu/ada/adalib/wikiada/wiki.ali
-rw-r--r-- root/root   2983238 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/libwikiada4-dev/
-rw-r--r-- root/root       300 2022-08-02 09:10 ./usr/share/doc/libwikiada4-dev/changelog.gz
-rw-r--r-- root/root      1034 2022-08-02 09:10 ./usr/share/doc/libwikiada4-dev/copyright
drwxr-xr-x root/root         0 2022-08-02 09:10 ./usr/share/gpr/
-rw-r--r-- root/root       537 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

Tags

Open Source Projects

Hardware Projects

Learn more about Ada