Commit 3fb65c2a authored by Stephane Glondu's avatar Stephane Glondu

Update changelog

parent 0a32950c
Pipeline #62694 failed with stages
in 9 minutes and 43 seconds
coq (8.9.0-2) UNRELEASED; urgency=medium
* Add libnum-ocaml-dev to Build-Depends
* Fix FTBFS with OCaml 4.08.0
- add libnum-ocaml-dev to Build-Depends
- apply a patch to fix double loading of pr_dump.cmo (camlp5)
- remove a failing test
* Remove Samuel from Uploaders
-- Stéphane Glondu <glondu@debian.org> Fri, 09 Aug 2019 17:55:00 +0200
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment