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