Gleb Popov ef619face3 math/hs-Agda: Update to latest version and unbreak. ... Approved by: tcberner (mentor, implicit)		2019-06-13 18:51:51 +00:00
..
distinfo
Makefile
pkg-descr
pkg-plist