kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/math/hs-Agda
History
awoonya f59e1f7db5 math/hs-Agda: update to 2.6.4.1
2024-02-08 23:07:24 +03:00
..
distinfo math/hs-Agda: update to 2.6.4.1 2024-02-08 23:07:24 +03:00
Makefile math/hs-Agda: update to 2.6.4.1 2024-02-08 23:07:24 +03:00
pkg-descr
pkg-plist math/hs-Agda: update to 2.6.4.1 2024-02-08 23:07:24 +03:00