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