-
688786a1
by Julien Puydt at 2023-09-26T11:57:16+02:00
Fix a patch metadata
-
780ff73f
by Julien Puydt at 2023-09-26T11:57:56+02:00
New upstream version 8.18.0+dfsg
-
86680b1e
by Julien Puydt at 2023-09-26T11:58:06+02:00
Update upstream source from tag 'upstream/8.18.0+dfsg'
Update to upstream version '8.18.0+dfsg'
with Debian dir fbeb6231f10842693a1f1839c6c9a9a2c437cca8
-
edf56f9b
by Julien Puydt at 2023-09-26T11:58:45+02:00
Package new upstream 8.18.0
-
b996aaef
by Julien Puydt at 2023-09-26T12:08:20+02:00
Refresh patches
-
1d20255f
by Julien Puydt at 2023-09-26T12:09:05+02:00
Drop the coq-unimath workaround patch
-
279a8054
by Julien Puydt at 2023-09-26T12:44:06+02:00
Fix version in d/rules
-
939c023b
by Julien Puydt at 2023-09-26T13:13:56+02:00
Install new binary
-
166cb0b7
by Julien Puydt at 2023-09-26T13:26:32+02:00
Unbreak version check