debian/1.6.1-1

Enrico Tassi

@gareuselesinge

9c66906d · bdepends on Coq 8.6 (the *install.in files depend on it) · Dec 28, 2016

ssreflect Debian release 1.6.1-1