Bug#818331: marked as done (aac-tactics: FTBFS: constructor vcons (in type vT) expects 2 arguments)
Your message dated Mon, 01 Aug 2016 10:52:11 +0000
with message-id <E1bUApP-0001eq-TP@franck.debian.org>
and subject line Bug#813459: fixed in aac-tactics 8.5.1-1
has caused the Debian Bug report #813459,
regarding aac-tactics: FTBFS: constructor vcons (in type vT) expects 2 arguments
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
813459: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=813459
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: aac-tactics: FTBFS: constructor vcons (in type vT) expects 2 arguments
- From: Martin Michlmayr <tbm@hpe.com>
- Date: Tue, 15 Mar 2016 18:13:54 -0700
- Message-id: <20160316011354.GA16778@jirafa.cyrius.com>
- In-reply-to: <20160316010052.807D412B192@dl580gen9-02.hlinux>
- References: <20160316010052.807D412B192@dl580gen9-02.hlinux>
Package: aac-tactics
Version: 0.4-5
Severity: serious
This package fails to build in unstable:
> sbuild (Debian sbuild) 0.68.0 (15 Jan 2016) on dl580gen9-02.hlinux
...
> make[4]: Entering directory '/<<PKGBUILDDIR>>'
> "coqc" -q -opt -R "." AAC_tactics AAC
> File "./AAC.v", line 497, characters 8-20:
> Error: The constructor vcons (in type vT) expects 2 arguments.
> Makefile.coq:424: recipe for target 'AAC.vo' failed
> make[4]: *** [AAC.vo] Error 1
> make[4]: Leaving directory '/<<PKGBUILDDIR>>'
--
Martin Michlmayr
Linux for HPE Helion, Hewlett Packard Enterprise
--- End Message ---
--- Begin Message ---
Source: aac-tactics
Source-Version: 8.5.1-1
We believe that the bug you reported is fixed in the latest version of
aac-tactics, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 813459@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Nicolas Braud-Santoni <nicolas@braud-santoni.eu> (supplier of updated aac-tactics package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 23 Jul 2016 16:44:48 -0400
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source all amd64
Version: 8.5.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Nicolas Braud-Santoni <nicolas@braud-santoni.eu>
Description:
libaac-tactics-coq - Coq tactics for reasoning modulo AC (theories)
libaac-tactics-ocaml - Coq tactics for reasoning modulo AC (plugin)
libaac-tactics-ocaml-dev - Coq tactics for reasoning modulo AC (devt files)
Closes: 813459
Changes:
aac-tactics (8.5.1-1) unstable; urgency=medium
.
* Team upload
* Imported Upstream version 8.5.1 (Closes: #813459)
* Use HTTPS for Vcs-* links
* New upstream URL & watch file
* Install .v files
* Fix installed docs
* Fix typos
* Bump Standards-Version to 3.9.8.
No change required
Checksums-Sha1:
4375941c7c8a9f85200c9a154eee3ac952a2e3d2 2224 aac-tactics_8.5.1-1.dsc
09aa61851d269a6191723d40847638ff15ea1d72 74945 aac-tactics_8.5.1.orig.tar.gz
fe952c12587f8914637c50c15845ab8991a93505 5304 aac-tactics_8.5.1-1.debian.tar.xz
1ae1cddc1c081280b457c341e67188dc488fd9ab 218380 libaac-tactics-coq_8.5.1-1_all.deb
61b19f10fdf814c99a550fc87737b5e69d150e8e 15752 libaac-tactics-ocaml-dbgsym_8.5.1-1_amd64.deb
fa7404e73db4342d9f20950c436d0feac1f46a66 38798 libaac-tactics-ocaml-dev_8.5.1-1_amd64.deb
36b21dff2c0df4c11cb711af347f72818007875f 114884 libaac-tactics-ocaml_8.5.1-1_amd64.deb
Checksums-Sha256:
7d3db47031e1541698c04f3733e9007d10b490c3f668fd3bb8aa2e4f0cb2d81a 2224 aac-tactics_8.5.1-1.dsc
4fa489fa5162fb034c5f72fbd2b4ba40484e82ed2a7e1b8be130fdbd6ed44903 74945 aac-tactics_8.5.1.orig.tar.gz
69b9e734bfdedb7b19c7314f5b8f6518958a228232814522f5408aa2e94585d0 5304 aac-tactics_8.5.1-1.debian.tar.xz
4377485fa54d472c7b8a12e194ba06f6f2a909a6e138c4bb7296f6879cbbd7e3 218380 libaac-tactics-coq_8.5.1-1_all.deb
1c22e33bec7c95588fe8315e8b795be646e91fd94cb42adb2a8c823faa93fcf3 15752 libaac-tactics-ocaml-dbgsym_8.5.1-1_amd64.deb
bbe08111b4a2f79f0f0fc1d69b7f4a4d5cea37d548df3fc0d8e707bbe30ee1ac 38798 libaac-tactics-ocaml-dev_8.5.1-1_amd64.deb
8aa3ea1f051bc402cfb620febf6bb23cfb124e562586e28c2c2db47e9b6f0ed4 114884 libaac-tactics-ocaml_8.5.1-1_amd64.deb
Files:
8eeafaaf761460cae89ab501b7e9449e 2224 math optional aac-tactics_8.5.1-1.dsc
30bef1d940f0a13246318883bcc29baf 74945 math optional aac-tactics_8.5.1.orig.tar.gz
b7bd6277b90b1a34924778022c70cf9e 5304 math optional aac-tactics_8.5.1-1.debian.tar.xz
960c22f3d270ba0487901d8ca3d37761 218380 math optional libaac-tactics-coq_8.5.1-1_all.deb
5547f587699c6e194ad65718f07abbbf 15752 debug extra libaac-tactics-ocaml-dbgsym_8.5.1-1_amd64.deb
d9c4c031f910738f12287284a9a26289 38798 ocaml optional libaac-tactics-ocaml-dev_8.5.1-1_amd64.deb
01d2c41e3f47089ec34c5d025c3603da 114884 ocaml optional libaac-tactics-ocaml_8.5.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJXnyevAAoJEHhT2k1JiBrTetYP+gOlfy/KVtK+aWrNZ8z2OgLj
63FJ7kryi+3pG0fnjC+K4EnsQX0P8KGMzd3A8Uf6CoY0VmUljAYQEsHKGGzDio2K
eyL2/Igo0rhOPNoMByc1zQ06C1/vUJvyLS+zm6X8dCOVyrWYjo1H9dfiItKU6att
cDvGTHU7qyCkSbkKjUejqReDVmj8CttRUrupywk5ns5W1Mfcc9zSq026cMFPSypa
nICFHM6vnDTb4cAQRxaduD5n+1M1HOsI5tggbGv7sGEnm21WzNR/x1dWbGCiIe5G
9rLmMjnz9PQvJeI5t/+Uh1dp2TAekhyEGdmGa12gCUT154IzWL+QbbJvDUa4Wwso
quHmtFFU/49Od0w46Brgms9frHQ4pzCon15G1OMoRyW1RIxzbE88LQkbOGxesoY4
N4jmkWagKLZiYkEb23jJqmQtPo0U7LcCt1fE62hOKkusetsqCrWUTR2v6SP3L/p0
RWJT+jREy/jSo+x51nzHnBKeldIAAcfqNyrWYBH5+h7YKiIOdgSlMkxp3tgUMd0t
MW9QKb3LDVMSb7nzfVWysh/iLJvN2YOGyUxCDBx7FS0lKVIhQdiheD+cUQFkKPVA
uPAd1VZiTwmxbYXLR5fePukbpMh9gFTTfOiH54/PdUPyoh3F5VaIqc13F9y7E+j+
xCN1YMrN4gnZZDgTfgkv
=c1pj
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: