debian/0.14-1

costamagnagianfranco@yahoo.it

5d2b1563 · Upload to unstable, update changelog · Nov 26, 2017

agda-stdlib Debian release 0.14-1