-
03022e89
by Mehdi Dogguy
at 2021-01-17T20:36:24+01:00
New upstream version 20201214
-
089a396a
by Mehdi Dogguy
at 2021-01-17T20:36:28+01:00
Update upstream source from tag 'upstream/20201214'
Update to upstream version '20201214'
with Debian dir ea8c9596865304d882c82b83313772da9b35c1ea
-
ffeb35d9
by Mehdi Dogguy
at 2021-01-17T20:36:33+01:00
New upstream version 20201216
-
12f9fbc4
by Mehdi Dogguy
at 2021-01-17T20:36:36+01:00
Update upstream source from tag 'upstream/20201216'
Update to upstream version '20201216'
with Debian dir ea8c9596865304d882c82b83313772da9b35c1ea
-
c677cbf2
by Mehdi Dogguy
at 2021-01-17T20:38:31+01:00
New upstream release
-
26b78c96
by Mehdi Dogguy
at 2021-01-17T21:01:36+01:00
Set '--prefix=usr --libdir=lib/ocaml' when using [dune install]
-
27dd7a63
by Mehdi Dogguy
at 2021-01-17T21:01:58+01:00
Release menhir 20201216-1 to unstable