Tobias Kortkamp bdca32c596 Bump USES=cabal ports after 12837690ed		2021-04-21 06:48:23 +02:00
..
distinfo	math/hs-Agda: Update to 2.6.1.3	2021-03-01 18:13:46 +00:00
Makefile	Bump USES=cabal ports after 12837690ed	2021-04-21 06:48:23 +02:00
pkg-descr
pkg-plist