diff --git a/flocq.changes b/flocq.changes index ed1eac5..5c2bef5 100644 --- a/flocq.changes +++ b/flocq.changes @@ -5,8 +5,8 @@ Thu Jun 2 21:40:52 UTC 2022 - Aaron Puchert * Added `Bnearbyint` and `Btrunc` in `IEEE754`. * Ensured compatibility from Coq 8.12 to 8.16. - Fix patching of coqdoc invocation, make it more robust. -- Patch up coqdoc also for older Coq versions since they don't - understand --coqlib_url. +- Patch up coqdoc invocation also for older Coq versions since they + don't understand --coqlib_url. ------------------------------------------------------------------- Fri Apr 15 16:41:08 UTC 2022 - Aaron Puchert