Your message dated Thu, 03 Nov 2016 12:00:10 +0000
with message-id <e1c2ggk-0002gm...@fasolo.debian.org>
and subject line Bug#798145: fixed in brial 0.8.5-1
has caused the Debian Bug report #798145,
regarding RFP: brial -- polynomials over Boolean Rings
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 ow...@bugs.debian.org
immediately.)
--
798145: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=798145
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
X-Debbugs-CC: debian-scie...@lists.debian.org
* Package name : brial
Version : 0.8.4.3
Upstream Author : brial team (ex-polybori team)
* URL : https://github.com/BRiAl/BRiAl
* License : GPL-2+
Programming Lang: C++ and Python
Description : polynomials over Boolean Rings
The core of BRiAl is a C++ library, which provides high-level data
types for Boolean polynomials and monomials, exponent vectors, as
well as for the underlying polynomial rings and subsets of the
powerset of the Boolean variables. As a unique approach, binary
decision diagrams are used as internal storage type for polynomial
structures. On top of this C++-library a Python interface
is provided. This allows parsing of complex polynomial systems, as well
as sophisticated and extendable strategies for Groebner base
computation. BRiAl features a powerful reference implementation
for Groebner basis computation.
.
This project is a successor of PolyBoRi.
The PolyBori project has been re-vived as BRiAl, which is now what
sagemath uses. Parts have been rewritten, including a new
autotools-based build system, so we should perhaps start a new packaging
from scratch.
I don't plan to work on it just yet, so it's just an RFP.
Snark on #debian-science
--- End Message ---
--- Begin Message ---
Source: brial
Source-Version: 0.8.5-1
We believe that the bug you reported is fixed in the latest version of
brial, 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 798...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Tobias Hansen <than...@debian.org> (supplier of updated brial 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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 09 Oct 2016 12:12:00 +0000
Source: brial
Binary: python-brial python-polybori libbrial-dev libbrial0 libbrial0-dbg
libbrial-groebner-dev libbrial-groebner0 libbrial-groebner0-dbg
Architecture: source amd64 all
Version: 0.8.5-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<debian-science-maintain...@lists.alioth.debian.org>
Changed-By: Tobias Hansen <than...@debian.org>
Description:
libbrial-dev - polynomials over Boolean Rings, core development files
libbrial-groebner-dev - development files for libbrial-groebner
libbrial-groebner0 - computer algebra routines of BRiAl
libbrial-groebner0-dbg - debug symbols for libbrial-groebner0
libbrial0 - polynomials over Boolean Rings, shared library
libbrial0-dbg - debug symbols for libbrial0
python-brial - polynomials over Boolean Rings, Python module
python-polybori - transitional package
Closes: 798145
Changes:
brial (0.8.5-1) unstable; urgency=medium
.
[ Ximin Luo ]
* New upstream release. (Closes: #798145)
.
[ Tobias Hansen ]
* Rename source package to brial.
* Rename binary packages polybori -> brial.
* Create transitional dummy package python-polybori.
* Remove packages polybori, polybori-doc and polybori-gui.
* Build-depend on libpng-dev.
* Build with -std=c++98 to work around upstream issue 11.
* Move testsuite fixes into a single patch fix-testsuite.patch:
- 0001-Added-libraries-symlinks-to-testsuite-dependencies-t.patch
- fix-ftbfs-boost.1.60.patch
* Remove 0002-Generate-clean-.pc-files-from-upstream.patch,
no pkg-config files needed.
* Remove Alexander Dreyer and Felix Salfelder from uploaders.
* Bump standards version to 3.9.8.
Checksums-Sha1:
1201db5120891a00b83c0ee3f89d4cb678625f8e 2539 brial_0.8.5-1.dsc
6e6d8763c29a898955c5575cf38952393be19f56 2420471 brial_0.8.5.orig.tar.gz
4282104576db964bbc5380ecbe5e4c2992ce5708 10260 brial_0.8.5-1.debian.tar.xz
88da19e7a81222d36e865a31c59622a15fea9cf2 97362 libbrial-dev_0.8.5-1_amd64.deb
0a39662c75e613049192022387d39be508691029 52492
libbrial-groebner-dev_0.8.5-1_amd64.deb
a371e56a21bbdc9683afd111fb8b5695d51b02f9 89660
libbrial-groebner0-dbg_0.8.5-1_amd64.deb
1d68fc3bd4af32ffa97ad209f8498d7fa151a5a3 577728
libbrial-groebner0_0.8.5-1_amd64.deb
aa9002c24a5ff03984f7f3c00181df0b46283412 137406 libbrial0-dbg_0.8.5-1_amd64.deb
260646c512f9caa709f0cf44ad94b855a1548440 218282 libbrial0_0.8.5-1_amd64.deb
ada481ef544fea00c457bb36985f9c748577bf13 39942 python-brial_0.8.5-1_amd64.deb
22aa096575faef688160b6099ac729d432c6a9f1 12510 python-polybori_0.8.5-1_all.deb
Checksums-Sha256:
d1605ae1c971b553767e818aaf0ecfd251e3cba64f7b02a12d40724cd21c79d6 2539
brial_0.8.5-1.dsc
26012075dd7b3b8a81dd3f35d6e2773211a193470ec88dfc1a0c60af622a0c77 2420471
brial_0.8.5.orig.tar.gz
79e1d13ed3135567f15f935693ea5d6cfaf38a8a5873eb9145ba7875c04fbd65 10260
brial_0.8.5-1.debian.tar.xz
8c67db57ccba2d1491fdfc095de9f19e776ccf9095e1f4513357fbdc2eb283a7 97362
libbrial-dev_0.8.5-1_amd64.deb
6598e7d1994e0a0931f05f38a8eba9b649ce529dbad1918c6ea3b245fcc930c0 52492
libbrial-groebner-dev_0.8.5-1_amd64.deb
5df2ed4eab7cbddd31d5442e88f291b725ea1eecf593390d275c01bbebf62592 89660
libbrial-groebner0-dbg_0.8.5-1_amd64.deb
d9cd49950c4df104397c76295a7744dcd4ab0bc4e652204b49ea763e7a9cfd9d 577728
libbrial-groebner0_0.8.5-1_amd64.deb
9dc8ba7e068e8e6b0c3630eda3cd3bd8ca1a13ad8f0e51ca8e4a20ea42212cef 137406
libbrial0-dbg_0.8.5-1_amd64.deb
7fa6b1a39853212967fe33e9f66486bc78f26eaff81ed51b5940fd3f3a805697 218282
libbrial0_0.8.5-1_amd64.deb
084bedd9cc3b1c6ba04db0e94be2455b117f8f142ce489809149b488bfe046a7 39942
python-brial_0.8.5-1_amd64.deb
7e5218905a21a38bd3c4f0fdbc395d02d76d12c07e381969f3c01fa3153efcd6 12510
python-polybori_0.8.5-1_all.deb
Files:
f7a246419543c20c52e2be174687fb20 2539 math extra brial_0.8.5-1.dsc
6b65a5290b6aa9c00095d209cb2787af 2420471 math extra brial_0.8.5.orig.tar.gz
0365c08baaf7e1a4043e0d67b562ae79 10260 math extra brial_0.8.5-1.debian.tar.xz
552e1d7deacc03e31ae07cea59356349 97362 libdevel extra
libbrial-dev_0.8.5-1_amd64.deb
40b12389d60d7f961472f471eb2c0784 52492 libdevel extra
libbrial-groebner-dev_0.8.5-1_amd64.deb
280b6e6fdcefc9f516b97a96fedb7017 89660 debug extra
libbrial-groebner0-dbg_0.8.5-1_amd64.deb
41086635809fecaa62627c63c3f74102 577728 libs extra
libbrial-groebner0_0.8.5-1_amd64.deb
68b4627f77e79a8181f939f1eb67c1c6 137406 debug extra
libbrial0-dbg_0.8.5-1_amd64.deb
7bd3c04b91342ecce86f3c07dd6ddeea 218282 libs extra libbrial0_0.8.5-1_amd64.deb
8b62a74e1b5f2e40104a776073dc2862 39942 python extra
python-brial_0.8.5-1_amd64.deb
3d9b66cb91a08d0367d4582beeca4a8e 12510 oldlibs extra
python-polybori_0.8.5-1_all.deb
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCAAGBQJX+jjXAAoJEIyCFp2Ozs0qE0oP/iUQde08UDj2/4EeVOPz9fAM
fWUWUKoht7LEGyGaGYgiH0Kyz3mTGqdpJgjxsjgRjkv7PRahpVOaP7J7ajVBv6gu
/jNmG51rS6cYJbjvzxqAHeAYBd0f5kjHo2V2UW3BK+85esH7LT97M9kTiDg3M3WI
6OKME3BMHWWDi2R8SiIaLTzxk6PotAXZaPpSq/ZeacgG/JivNB1C3dvQdHyhO3iX
WiGGgtQZB7T5Cu/PGmS1h9lBE0e8UCSP1NGv9gNYPqS3c50rh1f6Vd+yceGJDIey
Tcr4sYxjNcFUCa3CBS+3SbpZ5Y/um4ZqJNKhMn/kcNihQ9X12aUNz3V1MfQu61Hk
g66n6p00qekviaeBQYiVq7mnZlI9lYLJY/X0pGGt6z+E5xcKZKDD6R1MWpiwfC4p
MBXHxTP8mOg21kZi4cYXJu5As/UJpa5v9guw7NGNJcsvJECGnOzLeZ+7PiDWxjc/
FKWxLy8b63K+rJhC1P21P6Fn1TmbWdKQP54t3SyZv0VprwRR2vdDOY5zeiYPmPcu
cJOsE8S+28679zeE7sy0NRPYYshXMCaT74IIVgB58t5v+RK5oUi1u3SkR+jzBCjC
6OPCL7LGasoyax3ySO4V7CjmuWFffP8hEV5e37O8eGRDOsnVPZ84Wu6X6xdoVLtF
sKR13k83221RD8vBe8Io
=8WDg
-----END PGP SIGNATURE-----
--- End Message ---
