Public Git Hosting - Seppo.git/tree

-rw-r--r--	377	.gitignore	blob \| blame \| history \| raw
-rw-r--r--	159	Change.txt	blob \| blame \| history \| raw
-rw-r--r--	1460	Changelog.txt	blob \| blame \| history \| raw
-rw-r--r--	35142	LICENSE	blob \| blame \| history \| raw
-rw-r--r--	1453	Makefile	blob \| blame \| history \| raw
-rw-r--r--	2327	README.md	blob \| blame \| history \| raw
-rw-r--r--	878	README.txt.tpl	blob \| blame \| history \| raw
-rw-r--r--	744	apchk.opam	blob \| blame \| history \| raw
drwxr-xr-x	-	as2_vocab	tree \| history
drwxr-xr-x	-	bin	tree \| history
-rwxr-xr-x	1781	c.sh	blob \| blame \| history \| raw
drwxr-xr-x	-	chkr	tree \| history
-rw-r--r--	197	deploy.sh	blob \| blame \| history \| raw
-rw-r--r--	2059	doap.rdf	blob \| blame \| history \| raw
-rw-r--r--	1407	doap.ttl	blob \| blame \| history \| raw
drwxr-xr-x	-	doc	tree \| history
-rw-r--r--	1948	dune-project	blob \| blame \| history \| raw
drwxr-xr-x	-	lib	tree \| history
-rw-r--r--	2799	mime.sh	blob \| blame \| history \| raw
-rwxr-xr-x	2357	release.sh	blob \| blame \| history \| raw
drwxr-xr-x	-	res	tree \| history
-rw-r--r--	1493	seppo.opam	blob \| blame \| history \| raw
-rw-r--r--	741	spdx.sh	blob \| blame \| history \| raw
drwxr-xr-x	-	test	tree \| history
-rw-r--r--	429	todo.xit	blob \| blame \| history \| raw
-rw-r--r--	1765	todo_--_moa_nlnet.xit	blob \| blame \| history \| raw
-rw-r--r--	1228	zarith-musl.sh	blob \| blame \| history \| raw