Control: block 939741 by 897129
I agree. coq-doc acquired a new dependency in the 8.9 release, so
that’ll need to get packaged first.
Control: tags 827861 wontfix
jessie has entered LTS, and LTS distributions no longer receive
backports (see https://backports.debian.org/news/stretch-backports/), so
this almost certainly isn’t going to happen.
On Saturday, February 23, 2019, at 3:30 PM EST, Ralf Treinen wrote:
> Unfortunately, however, why is only usable with why3 <= 0.88.3. I
> therefore have asked the release team to remove why from testing.
Do you believe a future release of why is going to work with
why3 > 0.88.3? If not, it may be
Benjamin Barenblat pushed new tag debian/2.40-4 at Debian OCaml Maintainers /
why
--
View it on GitLab: https://salsa.debian.org/ocaml-team/why/tree/debian/2.40-4
You're receiving this email because of your account on salsa.debian.org.
On Friday, February 22, 2019, at 10:17 AM EST, Benjamin Barenblat wrote:
> Currently, libwhy-coq Depends on coq-8.6+4.05.0 and is therefore
> blocking coq/8.9.0-1 from entering testing. Since libwhy-coq is
> Architecture: all, a binNMU won’t rebuild it – somebody needs to do a
> s
Currently, libwhy-coq Depends on coq-8.6+4.05.0 and is therefore
blocking coq/8.9.0-1 from entering testing. Since libwhy-coq is
Architecture: all, a binNMU won’t rebuild it – somebody needs to do a
source upload.
If why (not why3) no longer works with Coq 8.9, we should request that
ftp-master re
Benjamin Barenblat pushed new tag upstream/8.8.0+1.gbp069dc3b at Debian OCaml
Maintainers / aac-tactics
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/aac-tactics/tree/upstream/8.8.0+1.gbp069dc3b
You're receiving this email because of your account on salsa.debian.org.
Benjamin Barenblat pushed new tag debian/8.8.0+1.gbp069dc3b-1 at Debian OCaml
Maintainers / aac-tactics
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/aac-tactics/tree/debian/8.8.0+1.gbp069dc3b-1
You're receiving this email because of your account on salsa.debian.org.
Benjamin Barenblat pushed to branch pristine-tar at Debian OCaml Maintainers /
aac-tactics
Commits:
1aaf5640 by Benjamin Barenblat at 2019-02-14T01:40:51Z
pristine-tar data for aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz
- - - - -
2 changed files:
- + aac-tactics_8.8.0+1
Benjamin Barenblat pushed to branch upstream at Debian OCaml Maintainers /
aac-tactics
Commits:
8018e923 by Benjamin Barenblat at 2019-02-14T01:40:51Z
New upstream version 8.8.0+1.gbp069dc3b
- - - - -
30 changed files:
- + .gitignore
- − CHANGELOG
- − COPYING
- − COPYING.LESSER
- LICENSE
Benjamin Barenblat pushed to branch master at Debian OCaml Maintainers /
aac-tactics
Commits:
7ecbed52 by Benjamin Barenblat at 2019-02-14T01:32:39Z
Prepare to import v8.9 snapshot
Upstream has started including a .travis.yml, so filter that out of the
upstream tarball to prevent Salsa from
Greetings! Thanks for getting in touch.
On Thursday, February 14, 2019, at 4:04 AM EST, i...@ksqsf.moe wrote:
> I'm using Debian testing and I noticed that Coq-mode packaged with coq
> doesn't work [...] coq.el[c] was not found in
> /usr/share/emacs/site-lisp/coq.
>
> [...]
>
> Additional informa
Control: retitle 919461 ssreflect FTBFS in unstable
Control: noowner 919461
I’m guessing this is just that 1.6.1 is not compatible with Coq 8.9.
Uploading 1.7.0 might resolve the issue, but I’m uninterested in doing
that work, particularly since the package is licensed under CeCILL-B,
which I beli
Benjamin Barenblat pushed to branch master at Debian OCaml Maintainers / coq
Commits:
bac5683a by Benjamin Barenblat at 2019-01-17T21:33:19Z
Don’t build upstream’s CI on Salsa
- - - - -
5d3dc22c by Benjamin Barenblat at 2019-01-18T00:58:25Z
Restore ssrmatching and its reverse dependencies
Benjamin Barenblat pushed to branch upstream at Debian OCaml Maintainers / coq
Commits:
9ebf44d8 by Benjamin Barenblat at 2019-02-03T00:29:23Z
Imported Upstream version 8.9.0
- - - - -
30 changed files:
- − .bintray.json
- .github/PULL_REQUEST_TEMPLATE.md
- .gitlab-ci.yml
- .merlin
Benjamin Barenblat pushed new tag upstream/8.9.0 at Debian OCaml Maintainers /
coq
--
View it on GitLab: https://salsa.debian.org/ocaml-team/coq/tree/upstream/8.9.0
You're receiving this email because of your account on salsa.debian.org.
Benjamin Barenblat pushed to branch pristine-tar at Debian OCaml Maintainers /
coq
Commits:
7cca89ed by Benjamin Barenblat at 2019-02-03T00:29:26Z
pristine-tar data for coq_8.9.0.orig.tar.gz
- - - - -
2 changed files:
- + coq_8.9.0.orig.tar.gz.delta
- + coq_8.9.0.orig.tar.gz.id
Changes
Benjamin Barenblat pushed new tag debian/8.9.0-1 at Debian OCaml Maintainers /
coq
--
View it on GitLab: https://salsa.debian.org/ocaml-team/coq/tree/debian/8.9.0-1
You're receiving this email because of your account on salsa.debian.org.
Maintainer: Debian OCaml Maintainers
Changed-By: Benjamin Barenblat
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
libcoq-ocaml - runtime libraries for Coq
libcoq-ocaml-dev - development
Control: tag 919462 + pending
Sorry for the radio silence. I misdiagnosed the issue in #10, but I have
properly diagnosed it now and have a fix pending. I’m rolling the fix
into my upload of 8.9.0, which should be coming in the next day.
Control: retitle 919461 ssreflect FTBFS in unstable due to missing ssrmatching
Control: owner 919461 !
That’s my fault. In my most recent Coq upload, I disabled ssrmatching
and a couple of other plugins due to license concerns [1]. Those have
now been resolved upstream [2]. I’m going to backport t
Control: retitle 919462 coq FTBFS on architectures without native OCaml backends
Control: owner 919462 !
Coq actually does build, but the test suite fails because I messed up
plugin loading on architectures that don’t have ocamlopt. Upstream
handles both native and bytecode worlds by installing th
Benjamin Barenblat pushed new tag upstream/8.8.2 at Debian OCaml Maintainers /
coq
--
View it on GitLab: https://salsa.debian.org/ocaml-team/coq/tree/upstream/8.8.2
You're receiving this email because of your account on salsa.debian.org.
Benjamin Barenblat pushed new tag debian/8.8.2-1 at Debian OCaml Maintainers /
coq
--
View it on GitLab: https://salsa.debian.org/ocaml-team/coq/tree/debian/8.8.2-1
You're receiving this email because of your account on salsa.debian.org.
Benjamin Barenblat pushed to branch upstream at Debian OCaml Maintainers / coq
Commits:
9043add6 by Benjamin Barenblat at 2018-12-29T19:31:27Z
Imported Upstream version 8.8.2
- - - - -
21 changed files:
- + .bintray.json
- − .gitattributes
- + .github/ISSUE_TEMPLATE.md
- + .github
Benjamin Barenblat pushed to branch pristine-tar at Debian OCaml Maintainers /
coq
Commits:
1dcf8d69 by Benjamin Barenblat at 2018-12-29T19:31:30Z
pristine-tar data for coq_8.8.2.orig.tar.gz
- - - - -
2 changed files:
- + coq_8.8.2.orig.tar.gz.delta
- + coq_8.8.2.orig.tar.gz.id
Changes
Benjamin Barenblat pushed to branch master at Debian OCaml Maintainers / coq
Commits:
a4c7f8bd by Enrico Tassi at 2016-12-27T15:53:30Z
Imported Upstream version 8.6
- - - - -
5a38d3c4 by Benjamin Barenblat at 2018-12-24T18:25:38Z
Update debian/watch for GitHub switch
The Coq developers now
Package: why3-coq
Version: 1.1.1-1
Severity: serious
why3-coq Depends on coq, but it contains compiled .vo files that can
only be read by Coq 8.6. (In general, Coq .vo files are tied to the
minor version of Coq that produced them.) why3-coq should Depend on the
minor version of Coq that compiled i
: Benjamin Barenblat
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
libcoq-ocaml - runtime libraries for Coq
libcoq-ocaml-dev - development libraries and tools for Coq
Closes: 902903 910840
On Thursday, December 20, 2018, at 9:56 PM EST, Benjamin Barenblat wrote:
> I’m planning to do some work in the next couple of weeks to get a new
> Coq uploaded before the buster freeze. Does anybody have pending state
> on this, or should I just dive on in?
On Wednesday, December 26,
Hi, all,
I’m planning to do some work in the next couple of weeks to get a new
Coq uploaded before the buster freeze. Does anybody have pending state
on this, or should I just dive on in?
Thanks,
Benjamin
://web.mit.edu/bbaren/c/coq_8.4pl4dfsg-1_8mTczjy5.dsc
*** /tmp/coq-8.4pl4.patch
- --- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq (8.4pl4dfsg-1) stable; urgency=low
+
+ * New upstream release
+
+ -- Benjamin Barenblat Sun, 29 Jun 2014 09:51:37 -0700
+
coq (8.4pl3dfsg-1) unstable
32 matches
Mail list logo