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