827dc21bc0ca316ee8c2c2460420b865ed22cd67 to 816dd727a79cc3e1a524cac782d9a578f78f14bf · Debian OCaml Maintainers / menhir

Commits on Source 17

New upstream version 20190620 · 52ca2b2f
Ralf Treinen authored Jun 21, 2019

52ca2b2f
Update upstream source from tag 'upstream/20190620' · 1558eee0
Ralf Treinen authored Jun 21, 2019
```
Update to upstream version '20190620'
with Debian dir f094533c9cd20f0286b94f31340d592aeb4e60c4
```
1558eee0
new upstream release · 6989df26
Ralf Treinen authored Jun 21, 2019

6989df26
build-depend on debhelper-compat (=12) · a689461d
Ralf Treinen authored Jun 21, 2019

a689461d
use --no-dwz-multifile · fcb4ebaf
Ralf Treinen authored Jun 21, 2019

fcb4ebaf
new package libmenhir-coq · c4314c3a
Ralf Treinen authored Jun 21, 2019

c4314c3a
standards-version 4.3.0 · 34c147d7
Ralf Treinen authored Jul 02, 2019

34c147d7
New upstream version 20190626 · 1a51d4c6
Ralf Treinen authored Jul 03, 2019

1a51d4c6
Update upstream source from tag 'upstream/20190626' · 21da35d7
Ralf Treinen authored Jul 03, 2019
```
Update to upstream version '20190626'
with Debian dir b3f2ff40d9512e40110cc3fbb65fa76f34d20c8f
```
21da35d7
new upstream 20190626 · 1455e337
Ralf Treinen authored Jul 03, 2019

1455e337
drop patch for coqlib installation · 30b6a665
Ralf Treinen authored Jul 03, 2019

30b6a665
as-installed test for coq, rename test 'calc' to 'standalone' and tighten test dependencies. · cfa6a76f
Ralf Treinen authored Jul 03, 2019

cfa6a76f
libmenhir-ocaml-dev: + Suggests ocaml-findlib · 80ebd0b7
Ralf Treinen authored Jul 03, 2019

80ebd0b7
d/control: cosmetic change · 10593862
Ralf Treinen authored Jul 03, 2019

10593862
+build-dep coq · 9efa04d0
Ralf Treinen authored Jul 03, 2019

9efa04d0
upload toexperimental · 993701dc
Ralf Treinen authored Jul 07, 2019

993701dc
upload to unstable · 816dd727
Ralf Treinen authored Jul 24, 2019

816dd727