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--	1461	Changelog.txt	blob \| blame \| history \| raw
-rw-r--r--	35142	LICENSE	blob \| blame \| history \| raw
-rw-r--r--	1476	Makefile	blob \| blame \| history \| raw
-rw-r--r--	1699	README.md	blob \| blame \| history \| raw
-rw-r--r--	756	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	1289	c.sh	blob \| blame \| history \| raw
drwxr-xr-x	-	chkr	tree \| history
-rw-r--r--	238	deploy.sh	blob \| blame \| history \| raw
-rw-r--r--	2059	doap.rdf	blob \| blame \| history \| raw
-rw-r--r--	1324	doap.ttl	blob \| blame \| history \| raw
drwxr-xr-x	-	doc	tree \| history
-rw-r--r--	1781	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	1823	release.sh	blob \| blame \| history \| raw
drwxr-xr-x	-	res	tree \| history
-rw-r--r--	1445	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--	394	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