paged subscribed etc.ma
tree3f4665aa5e1cad719df881b149d384805e654223
-rw-r--r-- 377 .gitignore
-rw-r--r-- 159 Change.txt
-rw-r--r-- 1461 Changelog.txt
-rw-r--r-- 35142 LICENSE
-rw-r--r-- 1476 Makefile
-rw-r--r-- 1699 README.md
-rw-r--r-- 756 README.txt.tpl
-rw-r--r-- 744 apchk.opam
drwxr-xr-x - as2_vocab
drwxr-xr-x - bin
-rwxr-xr-x 1303 c.sh
drwxr-xr-x - chkr
-rw-r--r-- 238 deploy.sh
-rw-r--r-- 2059 doap.rdf
-rw-r--r-- 1324 doap.ttl
drwxr-xr-x - doc
-rw-r--r-- 1781 dune-project
drwxr-xr-x - lib
-rw-r--r-- 2799 mime.sh
-rwxr-xr-x 1823 release.sh
drwxr-xr-x - res
-rw-r--r-- 1445 seppo.opam
-rw-r--r-- 741 spdx.sh
drwxr-xr-x - test
-rw-r--r-- 429 todo.xit
-rw-r--r-- 1765 todo_--_moa_nlnet.xit
-rw-r--r-- 1228 zarith-musl.sh