-
52ca2b2f
by Ralf Treinen
at 2019-06-21T18:29:28Z
New upstream version 20190620
-
1558eee0
by Ralf Treinen
at 2019-06-21T18:29:33Z
Update upstream source from tag 'upstream/20190620'
Update to upstream version '20190620'
with Debian dir f094533c9cd20f0286b94f31340d592aeb4e60c4
-
6989df26
by Ralf Treinen
at 2019-06-21T18:30:52Z
new upstream release
-
a689461d
by Ralf Treinen
at 2019-06-21T18:51:34Z
build-depend on debhelper-compat (=12)
-
fcb4ebaf
by Ralf Treinen
at 2019-06-21T18:55:21Z
use --no-dwz-multifile
-
c4314c3a
by Ralf Treinen
at 2019-06-21T20:24:25Z
new package libmenhir-coq
-
34c147d7
by Ralf Treinen
at 2019-07-02T19:04:02Z
standards-version 4.3.0
-
1a51d4c6
by Ralf Treinen
at 2019-07-03T15:10:17Z
New upstream version 20190626
-
21da35d7
by Ralf Treinen
at 2019-07-03T15:10:23Z
Update upstream source from tag 'upstream/20190626'
Update to upstream version '20190626'
with Debian dir b3f2ff40d9512e40110cc3fbb65fa76f34d20c8f
-
1455e337
by Ralf Treinen
at 2019-07-03T15:11:06Z
new upstream 20190626
-
30b6a665
by Ralf Treinen
at 2019-07-03T15:14:26Z
drop patch for coqlib installation
-
cfa6a76f
by Ralf Treinen
at 2019-07-03T16:04:49Z
as-installed test for coq, rename test 'calc' to 'standalone' and tighten test dependencies.
-
80ebd0b7
by Ralf Treinen
at 2019-07-03T16:12:06Z
libmenhir-ocaml-dev: + Suggests ocaml-findlib
-
10593862
by Ralf Treinen
at 2019-07-03T16:14:31Z
d/control: cosmetic change
-
9efa04d0
by Ralf Treinen
at 2019-07-03T20:17:38Z
+build-dep coq
-
993701dc
by Ralf Treinen
at 2019-07-07T19:38:25Z
upload toexperimental
-
816dd727
by Ralf Treinen
at 2019-07-24T23:26:31Z
upload to unstable