-
96b66411
by Ralf Treinen
at 2019-11-16T17:09:20+01:00
New upstream version 8.10.1
-
05ddac2b
by Ralf Treinen
at 2019-12-01T20:13:47+01:00
New upstream version 8.10.2
-
640258a9
by Ralf Treinen
at 2020-01-16T21:24:53+01:00
New upstream version 8.11~beta1
-
64e07de4
by Ralf Treinen
at 2020-01-31T11:40:56+01:00
New upstream version 8.11.0
-
da1331a1
by Ralf Treinen
at 2020-04-10T13:45:43+02:00
New upstream version 8.11.1~pre1
-
aa7e13f1
by Ralf Treinen
at 2020-04-10T13:56:39+02:00
Update upstream source from tag 'upstream/8.11.1_pre1'
Update to upstream version '8.11.1~pre1'
with Debian dir 75b494517454f7a06a9a5a0595f96046f2e57a6e
-
24cfe5f5
by Ralf Treinen
at 2020-04-10T14:00:04+02:00
drop patch votour-linking
-
47f01d6f
by Ralf Treinen
at 2020-04-10T14:06:11+02:00
drop patch restore_g_ssrmatching.mli, refresh some other patches
-
96857487
by Ralf Treinen
at 2020-04-10T15:27:00+02:00
bump COQ+VESION
-
cf33f7a4
by Ralf Treinen
at 2020-04-10T16:06:46+02:00
/usr/bin/doc_grammar no longer installed
-
4f687783
by Ralf Treinen
at 2020-04-11T11:03:29+02:00
dropped build-dependency on hevea
-
10e914cc
by Ralf Treinen
at 2020-04-11T12:21:51+02:00
drop patch verbose-build.patch
-
df269a03
by Ralf Treinen
at 2020-04-11T13:10:31+02:00
build-dependency texlive-latex-extrs => tex-common
-
9fabeafa
by Ralf Treinen
at 2020-04-11T18:26:50+02:00
add patch to fix test failures on bc archs
-
a75a9dba
by Ralf Treinen
at 2020-04-16T18:37:02+02:00
disable test coq-makefile/findlib-package-unpacked as it fails on bytecode
-
e2b86272
by Ralf Treinen
at 2020-08-21T12:02:32+02:00
New upstream version 8.12.0
-
4b96ac5e
by Ralf Treinen
at 2020-08-21T13:00:39+02:00
Update upstream source from tag 'upstream/8.12.0'
Update to upstream version '8.12.0'
with Debian dir 38d75ba40041432880020e3defea932052bfd07e
-
5a75100e
by Ralf Treinen
at 2020-08-21T13:05:46+02:00
refresh patch remove-tests-that-need-coqlib
-
9f4c671d
by Ralf Treinen
at 2020-08-21T13:09:43+02:00
refresh patch avoid-usr-bin-env
-
597f29a5
by Ralf Treinen
at 2020-08-21T13:13:14+02:00
refresh patch python-scripts-libraries
-
80350d2d
by Ralf Treinen
at 2020-08-21T13:18:15+02:00
refresh patch skip-dot-pc
-
1644234a
by Ralf Treinen
at 2020-08-21T15:04:21+02:00
refresh patch testsuite-bytecode
-
ab538053
by Ralf Treinen
at 2020-08-21T15:05:49+02:00
refresh patch remove-bytecode-failing-tests
-
0500d2a8
by Ralf Treinen
at 2020-08-21T15:05:49+02:00
update COQ_VERSION
-
7764dd73
by Ralf Treinen
at 2020-08-21T15:05:49+02:00
update versions of build-dependencies
-
ba892c22
by Ralf Treinen
at 2020-08-21T15:50:18+02:00
update install files
-
76abb185
by Ralf Treinen
at 2020-08-21T17:22:06+02:00
DH compat level 12
-
4f4a31d3
by Ralf Treinen
at 2020-08-21T20:23:49+02:00
DH compat level 13
-
13bf32a5
by Ralf Treinen
at 2020-08-21T20:46:59+02:00
Rules-requires-Root=no
-
78857dae
by Ralf Treinen
at 2020-09-02T08:40:55+02:00
disable test bugs/closed/bug_4544.v
-
7feb79c6
by Ralf Treinen
at 2020-09-06T10:02:06+02:00
patch header format
-
ae8430a9
by Ralf Treinen
at 2020-09-09T21:18:44+02:00
upload to unstable