mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-19 19:59:43 +00:00
Code Issues Releases Activity
543,531 Commits 45 Branches 99 Tags 3.3 GiB
a3b9d62b35
Commit Graph

4 Commits

Author SHA1 Message Date
Mathieu Arnold
cf118ccf87
One more small cleanup, forgotten yesterday. 
Reported by:	lwhsu
 2021-04-07 10:09:01 +02:00
Mathieu Arnold
305f148f48
Remove # $FreeBSD$ from Makefiles. 2021-04-06 16:31:07 +02:00
Yuri Victorovich
a94f164891 math/abella: Update 2.0.6 -> 2.0.7 2021-01-29 16:45:52 +00:00
Yuri Victorovich
fae7336844 New port: math/abella: Interactive theorem prover 2019-11-29 19:40:18 +00:00