mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-19 00:13:33 +00:00
Code Issues Releases Activity
6c3581122d
freebsd-ports/math/hs-Agda
History
Andrey Korobkov d9edbdde5d math/hs-Agda: Fix LICENSE 
PR:		277730
2024-03-16 14:58:29 +03:00
..
distinfo math/hs-Agda: Update to 2.6.4.3 2024-03-16 14:51:15 +03:00
Makefile math/hs-Agda: Fix LICENSE 2024-03-16 14:58:29 +03:00
pkg-descr
pkg-plist math/hs-Agda: Fix plist 2024-03-16 14:51:15 +03:00