foo « findlib « findlib-package-unpacked « coq-makefile « test-suite - coq - The formal proof system

about summary refs log tree commit diff

path: root/test-suite/coq-makefile/findlib-package-unpacked/findlib/foo

Mode	Name	Size
-rw-r--r--	META	86	log plain
-rw-r--r--	Makefile	308	log plain
-rw-r--r--	foo.mli	0	log plain
-rw-r--r--	foolib.ml	79	log plain