Mathieu Arnold cf118ccf87 One more small cleanup, forgotten yesterday. ... Reported by: lwhsu		2021-04-07 10:09:01 +02:00
..
distinfo
Makefile	One more small cleanup, forgotten yesterday.	2021-04-07 10:09:01 +02:00
pkg-descr	New port: math/abella: Interactive theorem prover	2019-11-29 19:40:18 +00:00