debian/2.1-1

Ilias Tsitsimpis

@iliastsi

0a30182c · Use Agda's new library management system · Oct 19, 2024

agda-stdlib Debian release 2.1-1