debian/8.11.1_pre1-1

Ralf Treinen

@treinen

a75a9dba · disable test coq-makefile/findlib-package-unpacked as it fails on bytecode · Apr 16, 2020

coq Debian release 8.11.1~pre1-1