mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-05 01:55:52 +00:00
Code Issues Releases Activity
848545d7f6
freebsd-ports/math/hs-Agda
History
Gleb Popov 510373e904 math/hs-Agda: Update to 2.6.1.3
2021-03-01 18:13:46 +00:00
..
distinfo math/hs-Agda: Update to 2.6.1.3 2021-03-01 18:13:46 +00:00
Makefile math/hs-Agda: Update to 2.6.1.3 2021-03-01 18:13:46 +00:00
pkg-descr
pkg-plist