Accepted clasp 3.3.3-3 (source) into unstable
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 05 Feb 2018 20:22:21 +0100 Source: clasp Binary: clasp Architecture: source Version: 3.3.3-3 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.3.3-3) unstable; urgency=medium . * debian/rules: check DEB_BUILD_PROFILES against nocheck Checksums-Sha1: b9ca4f3b0c006267b15315326f878defa620f9aa 2011 clasp_3.3.3-3.dsc 86a6ee25f4a195c136972489ceeb82111567db0f 7816 clasp_3.3.3-3.debian.tar.xz a0a89d4aba17053fec26311b15c2a58916ce5324 7092 clasp_3.3.3-3_amd64.buildinfo Checksums-Sha256: e6a735a0cf25a5096da152734dc5428d480ec40552ef29f504e5fa7aa72e13fe 2011 clasp_3.3.3-3.dsc 55cacbbe63895b802a480cb8f41f4d100a384614db22059bfd66cf7feb4067ff 7816 clasp_3.3.3-3.debian.tar.xz 74e219fc3615643ebe95f7949cc5ec76d6b5e6e202a3fca5ef12e2986dfe2a90 7092 clasp_3.3.3-3_amd64.buildinfo Files: 60f9b215c947a7ee2d27dfce1c840a10 2011 interpreters optional clasp_3.3.3-3.dsc ed04ae7c00ba011263fb5c96e01aab62 7816 interpreters optional clasp_3.3.3-3.debian.tar.xz a26ce36818939fba56b1f614ffe89f06 7092 interpreters optional clasp_3.3.3-3_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlp5QJIACgkQJ5ffdKZm mqlJVhAAiG960RudUVwRli2ixm/P1GJUJpqEIHfsJ/Z6WId3gUwvTkTWyF+LOdGU Vk9+iTHiLWfWsjOJAjijuYCbL8czGi3zXc7vG9yfJCYgnprAG4ObIwNQP9f0Ez8Y wBjbTcF3qtrOXldEtrblMuYHYzl7T4tr9cR93IzXWMA5QBg8sR59i7Ncei5UFLnq EN52ckrNAJlBNGWG16vx3ybDyRAVHxHQIJ5GCxK3sVJMR3d8d88xvsHrz8aVZo41 rw9IDzeNgBnIABqEpYL8ex/UCp0gx2LdzDbgxZ0mukyHvSu0Gx/pnw7pUwpIeCQY iJd/V8aMXxIzZSr0wlXF/XfN01o4EDVVw8ons5HGf/t0O67yGubeStys+yu+YDo2 kbBbNGLUokfdq09CCI2E+QyBn/y3E7Ea7pzLjmA0TlOj/R6O4j+jTYm9Jq+p4y4n 9vkY6k2PDH6q37sqzkfDFzBxy3tVwfs/Dc44dxW2NMbdRHopJUy36N0wiskQryFk bbqt2A4SlbD76RmwcI99pZqJ2BbP9qwerwMhSLNwVDGPE+1lyMMZwzuEf9Cy4Nce VW8uypNlR+D8KU1B9Zg2Owxhho90UH9RtZtnx5UZ2uUeeRIz6zcQbSuYgehgQ8zF RxetIQc5twM2D38lbr4JuSv2FvyAtrg9iyyqf7FgfjmVCz14Q7g= =hf7F -END PGP SIGNATURE- -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
Accepted gringo 5.2.2-5 (source) into unstable
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 05 Feb 2018 07:39:21 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.2-5 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.2.2-5) unstable; urgency=medium . * fix FTBFS with gringo-python3-utf8.patch * debian/rules: report ctest logs in case of error Checksums-Sha1: ec83549c65782147ae73721ce79ecff85864119e 2068 gringo_5.2.2-5.dsc 893db4e04f120d831cea4b046f935a7e4dd581c4 13912 gringo_5.2.2-5.debian.tar.xz e74141d5b186ead67a807f3f2af8aa82b910f921 7877 gringo_5.2.2-5_amd64.buildinfo Checksums-Sha256: 2f568cdb1dc209ebc15723860654c4ce0b105001c1507563c49015cd0716637f 2068 gringo_5.2.2-5.dsc aa72ac8ef54e94b98bf7560238b5114c0d60540e15f4f104458375c20ef7e4d8 13912 gringo_5.2.2-5.debian.tar.xz fb8eb5667d3c7ecfe2d862b666c8efbb1603cadcf1c3dc2f94db3eccec4372ed 7877 gringo_5.2.2-5_amd64.buildinfo Files: 92a315a10f97fdd69e938aae1d82680a 2068 interpreters optional gringo_5.2.2-5.dsc a3162c653e668aaa8d61c418135304a1 13912 interpreters optional gringo_5.2.2-5.debian.tar.xz fced12627472fe7f326fa050057b0b85 7877 interpreters optional gringo_5.2.2-5_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlp4AIMACgkQJ5ffdKZm mqk2zg//e1GRY96Ayf/PfOZiq+qA1v55Bu4WShmJUNyeSLALLMkdF41w2hRCr//F BVRz6x5+ok8LyxM+EhOU8I3eqk8p3ekiyU/BHS0UaiWRL4xEXww51ORc0Z+iUc2+ kjhwso2uPKf+ZITUSPheKOi9spuCEp0kmAR003xWRxU9TD2YFjjCtzgQhv0yRhhh GgbBVb3+zA+LxfIsTOQy+zHfOCLdQAJXBLOzQY3hNSoh0kPgTJ6Fj1lgzjHaNCY4 hxlb/vbOf1jzqosnEVCdrtG/tiPoquWH2z7Rjz+lrs9UP2B284Rtgyqa8YCUXmrf YhBX0YDtrm1ZdA4kvcemhzYuEOnhuyJLPA9UTMXLEPVPn6R6xLFQCgLLuLMsTCQs iAkqY0wf4agC0IM/+nNpXoO8k3KByZ03kvHSbYWlcPU3y3mgdgd3lN+nM2xrIGoi gf6TD7wXWaeBcvQUXCE8bzCp8d/MH+XnRIBJAYxrAhlzxtkL1ykRyeubwGtmvM5N 0DoeNzrWJiZQHKx5Fjtu6l+OrScgNHEwBAFDGgwaPgxTeS2J5qzCUcJJjXlcSuN/ u7C9kbE+H9JnCsN8n5kHuVi+5kYdS5Bnj4kxfqUBI05rVAUPd+dAZWo0ZB0Utgh/ JkQtgSbGQkVo2fRu5uTX4p8CY18vCEAMH2FhL6P5vWl9z6SdP2o= =aqh0 -END PGP SIGNATURE- -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
Accepted gringo 5.2.2-4 (source) into unstable
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 04 Feb 2018 21:35:05 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.2-4 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.2.2-4) unstable; urgency=medium . * setup build environment for python3 + debian/control: setup Build-Depends for python3 + debian/rules: force PYTHON_EXECUTABLE to /usr/bin/python3 * FTBFS: dh_auto_test needs LD_LIBRARY_PATH for libclingo Checksums-Sha1: 0b19e7c068ce9fddb824cd30481a6c15fb12997e 2068 gringo_5.2.2-4.dsc 3485273dcbe3abb6fa56141caebe72cde392b520 13424 gringo_5.2.2-4.debian.tar.xz 76e8d97558b4c3686ac07aad52f4e6ba905bc252 7854 gringo_5.2.2-4_amd64.buildinfo Checksums-Sha256: 0b50a5af8a38bb9cbc0a533e1485649172455dc76c00a59bb75309c9c5e8c18f 2068 gringo_5.2.2-4.dsc 715472b6e94c080c9600bfb79aeb670d7d9ad985036dd1d96e92214b1e852578 13424 gringo_5.2.2-4.debian.tar.xz 511fd739bd356760da8232202f6ac3d69eb8989624ae4220642d557e1f4105e7 7854 gringo_5.2.2-4_amd64.buildinfo Files: 1edee4041eea25a9220cce487b55fcc0 2068 interpreters optional gringo_5.2.2-4.dsc 59a490c0881aa018ea29de5c5d45ed81 13424 interpreters optional gringo_5.2.2-4.debian.tar.xz 75386b04a228919843883e6250645e6c 7854 interpreters optional gringo_5.2.2-4_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlp3c8oACgkQJ5ffdKZm mql4Hw//dltRsa/DLU7PTZIY/0szHGyI8McCPOHVd3RkC/P8GWtTtVhaYRzlTJD1 X1fLITpqk1X9n0wlRqWzx2Hp54usmE6/VrsdDXb4q0qBckDFmOxrO69rROFENEnD LsWRPGSlqKDoi9tDv1b/eVJPmzqlPzbeCqkm+1ld279md+Oz2eKL/okXJ0T5M20z tJNdQ1pFMvjG57vMNQ61ozoDHUYDo9m8/sWs1JNTwheyXhC8B5DJ6+cfqYzdYXZc 6S7nKeKwf1lhEzwihqvJ2eocMfmql3u5wpkYfKg74HSOl7TLzRWW6PirT0mYR8Oc bnUOYe27CrGxerJcxuWec5NBm8Y2Su5llhPwOkKKdSYFFl21RjAxjR+GzIBT0SL1 81YajW3HKy9UTyb7pGLMBS7HHdvhOtYtAdyGw8HnJPL7yvOun+PCsCkS9+wtX/Zg M3+7Ec6sETtphv94ORUEI/+fxcJLNuZlFOSXG9ztjVVC6CyYQ6fyJ5soB6fzh2UU 9S66U11KV4qlMBXc3ifM9Ah79XN6Yfs/WF4Qz9gB2SKHtJa19HOzLPhHlg5DA/Gd 3wmLBP3Eg2jNiE7X/ZcdjozxSVD6joLY0HPMDzvihB2r6oxUOfCkeNS+6xx25DMx uXo2HOxxKnp1y3cyx8G++v43dtfdhnJoFO3ahUGFGlzIGSPqxGU= =4FwI -END PGP SIGNATURE- -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
Accepted gringo 5.2.2-3 (source) into unstable
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 04 Feb 2018 09:22:41 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.2-3 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.2.2-3) unstable; urgency=medium . * add dep8 testsuite + debian/rules: build, run, and output upstream tests + debian/tests: add dep8 tests * debian/symbols: add ia64, update templinst archs Checksums-Sha1: cc45832d1b834e83ee10eb823ea1e44d02c23496 2061 gringo_5.2.2-3.dsc 02c2308ef55e3bac72f435b6155c7edfc8ba418d 13300 gringo_5.2.2-3.debian.tar.xz 31ac3d070ba1dd65121973fbe9da479743395e5e 7898 gringo_5.2.2-3_amd64.buildinfo Checksums-Sha256: 9311ef0851b342bb5344bb54ad353dd594ec3b26c4cb61d3a471d3cac7144417 2061 gringo_5.2.2-3.dsc e87e135e0fd2a737f36733c079f8e2fe6ade5c1f9cc16a8aada46ca231bd9139 13300 gringo_5.2.2-3.debian.tar.xz bb4efaa56317ed86b2f182d0de95032a89e6da9bb78fe1c5eaf3cf0bd78b685c 7898 gringo_5.2.2-3_amd64.buildinfo Files: 6c9be859ebdad857ca8793e7467d4c77 2061 interpreters optional gringo_5.2.2-3.dsc ce24f0cd613ca505f3a301834918a520 13300 interpreters optional gringo_5.2.2-3.debian.tar.xz c7378e7782d59e7b8b98f24fc18dc521 7898 interpreters optional gringo_5.2.2-3_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlp3KSwACgkQJ5ffdKZm mqmG3g/6AkUTncacO9yfT+DT9jYR41sWnI5eik6rVgMfHmvNWxAz1jLmMcOADVQv PBM1rbiu6nkYv1Cx8wfVelnJTtD7d3ZsbFTKY2gzjI9+el4FoKTKx1oaxO1166jb 2Q8uCrk6jYjbvINBsv/0kNxu1OY0LtknzMJlbqxVTmC5z13JcCnUy3Y5xEQ3NO1+ 40Es2tWYa0T/S9Qmrq9MzaKVakbC0Uaa0BNK43IK/dv0Fo4vrFSfL5TituM1fRuk SQKHkGbrEEJXtQNDllsClYWaZkwCsuupVZ2heFhrMoBiIaJFaC9dY62wm/XmFknN FGVAwkOs/UZ0QGOTRk+WsXJy8hoptOJLGB4YYldnj/YWuK/Jb8RNwpMyparFv3wD F5F4mVcpDz822aMC8w7NaqHtH0PL19g+kFGObqv+XaAiF4RVzLoIU6J7KFzEk94K x3eZWmEsiI5mZgNHhRj1ZV8nwYw4pCqWuzsxI4eElveVbG8nUZ+DKs8rxX1pysgp 9iB0KFwKMwp6nDOAqK4KTkW65qPnKRBveCkbpJtrIdItk/N1Zrnfu6z2ZIOQwlnq qELrgxJ3muoyOHxQZPkD+0w3Kj5FCjHMdXAovvjWfa8ZBCk5GeB5OwedI4dfmVJs U/RzEiiJ0thcVQzbu3iygLzqK0DYX394tWrNSCd3e6zQH6Tn2/8= =tZfI -END PGP SIGNATURE- -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
Accepted gringo 5.2.2-2 (source) into unstable
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 03 Feb 2018 15:17:29 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.2-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.2.2-2) unstable; urgency=medium . * update debian/control and debian/compat + update Vcs-Git and Vcs-Browser for salsa + bump Standards-Version to 4.1.3 + bump debhelper compatibility version to 11 * debian/symbols: update amd64 symbols Checksums-Sha1: 7de894f5c02ac18303967aadc4b09984ae57e7a2 2038 gringo_5.2.2-2.dsc 0c3ea78a32ed4397c9ff801d1542ba8a7c93fdea 12432 gringo_5.2.2-2.debian.tar.xz 21ff6e5b37703ada3441e164b75637d278df44c4 7898 gringo_5.2.2-2_amd64.buildinfo Checksums-Sha256: fe3a5e0770451df36f80c18e46388c5d929dc5ddfd35cc0c185cb175e1a1ad66 2038 gringo_5.2.2-2.dsc ea68d3a78949929f3cddbd2bb3327c9b89cc884864e830d59b9d9c58d5103456 12432 gringo_5.2.2-2.debian.tar.xz 36fe9b9f2e970c18c4d1286f68f886ba444a398a3424625240f82c7a5f434752 7898 gringo_5.2.2-2_amd64.buildinfo Files: ef578e1ef6ea0b49a93597bd45b4386f 2038 interpreters optional gringo_5.2.2-2.dsc d4e8bc8d35a98b092dab94dd8a0268ad 12432 interpreters optional gringo_5.2.2-2.debian.tar.xz e966c106560d375a07720338b686dc3c 7898 interpreters optional gringo_5.2.2-2_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlp1x3EACgkQJ5ffdKZm mqnI6g//b5peW/KbVL7j9k86fnRvdY056sqGtaouvtlaST20JYxgdk4suEX7EO0B SWgufhC9yZHJSrnnAqMCJXIov03Px55C5TorNI2lDkBmMM9AKhMhY9S/9LPngt+n nan9K3MWYDSm8SxCMkGNJYN/pLa3VCEiwY6hcdl4prLsbtT0eFBWI8vFawKFVbFN y9fLGCPNyN2yk/c29MFV0cRqeQxN4HcbDOKYO2k7jh2O4O0AgMzEAGnnn+KJwJZg wUkHdTvemKgDOjymITPJBY+RHoJBhk8XQTM+AaJlMhBas3ZG7+/FY7SYyJ6Y34zs bSqcyT0/iikO9lVExR480ltCxHSWjdIzfXvmqVYp96R6RatRdigGh34KS4UwbmSz uDG+MrRDrIGKG0lG0bSxRF1AnUjNaEcC84IB8dygWCHwjlucPRxVtjSeOxpvK0hO chMix8ZeUPib7DcBCucZtQ90JFTwbTGL49lsKCWWw3E7rgB540hV5OIjSQKH4imk wgSroolMgUiNcygydpRc1cCvstOalUj41VASa7XE8E+WWRzfmci2fldE9Oj0HBdS 7ANSBqzsG25RiskRrhUEtg4nixLsqR21EHrKRwRRuOG9AI6Grxm+pVHFhPGMgmrf 1z88EoU9u0gGkxQAT5cUU9WNawhZ8mFEmpLGr8X7Vyd86XrhJIs= =gXom -END PGP SIGNATURE- -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
Accepted clasp 3.3.3-2 (source) into unstable
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 03 Feb 2018 13:42:01 +0100 Source: clasp Binary: clasp Architecture: source Version: 3.3.3-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.3.3-2) unstable; urgency=medium . * update debian/control and debian/compat + update Vcs-Git and Vcs-Browser for salsa + bump Standards-Version to 4.1.3 + bump debhelper compatibility version to 11 Checksums-Sha1: f42a144c45a9ebc841e99e29918377f07ac7a45c 2011 clasp_3.3.3-2.dsc bbd8d3e12c50621d17303fee84bff1c7ac4139ae 7716 clasp_3.3.3-2.debian.tar.xz 882823291a4b26b5f8600227c0cdd087ae274fc6 7093 clasp_3.3.3-2_amd64.buildinfo Checksums-Sha256: 30eb4e90b4c9c0f486573e78f3728a89363ab8080b7c311287fa74a034224e7e 2011 clasp_3.3.3-2.dsc 7d9c81d631400094a8d1b6fb194b212ece7ac9229a08a4dbdd2dccc0666aa8a8 7716 clasp_3.3.3-2.debian.tar.xz e6ccdcae46aa8213de90fd81f26832413428d54a1e4a6bd1f46429db6e3fdf02 7093 clasp_3.3.3-2_amd64.buildinfo Files: 71d508dfda5c5a31294c47f9a58170cc 2011 interpreters optional clasp_3.3.3-2.dsc 5a04bdc8d4d8271a23b5d2388d53a1bd 7716 interpreters optional clasp_3.3.3-2.debian.tar.xz ec411ab46e7d9c79b355c50994595dde 7093 interpreters optional clasp_3.3.3-2_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlp1sDAACgkQJ5ffdKZm mqnRLg//YvaOkMJMeEKTIuMt7I8lg8lc64L1TcwjNH70BeZFH1so7kEtzd0pJT4P Rx1Uwden6myN0NenMWR4XWpd2xXKzPDy3ay2RzvxwkhMzBvLim772scJ86zkVbxy N7ndvMyIpYf6iET/DxNPTcTZNNszvgz2iBmC7BaEJtYRpg0VBD6STSqSEsaCDq4E a4euRqTlCPDIP3kJOct+nfQFUScN47E8cKs7rBLSO9pd63ZB2qcu6HuSRbD0dJHw O7GzgvhGmQTFQCuR7V2Aiy6rsqPWaN/4ZBL8jhNbGiK3GdkeIAnWlH5sPwp6ddz2 HYhJP06/6OagcHgkorDyfVA2I55OpLaSYeZGn8/siuJ5tv35udN/1m4eb7yJWtFh i05sJvZH5JIYTsyz6V0ZP7WvTh05LyIO3mKfVVYOYvMxZLYomAK+TtG78lKHvzu6 DnbwliYYa7LXsOxvrJB0qmIYGUUlMTg2u3VP9PCx65g6TnYsXpX/UsrhLgqqMzkE hx4MIUnPqr8xRbwSrLR3QIcznVDVs4B8pC9qjoVwhKVGWsCs1tw8tRNfRYdTMrVG HI62A7w72a6wbBqlaVkGQQbhSn1vPXp1b+oMWUSg2PAUATHX6rnIoGBhVS3szMv6 kkaYiQfPX9dpN1KsLQgWhql3XGHyhVjvPlg/Yajfd2IGzHfc3eo= =Zmgo -END PGP SIGNATURE- -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
Bug#812847: coala: FTBFS: scanner.cpp:662:9: error: no match for 'operator='
On Wed Jan 27, 2016 09:02:05AM +0100, Chris Lamb wrote: > Source: coala > Version: 1.0.1-5 > Severity: serious > Justification: fails to build from source > User: reproducible-bui...@lists.alioth.debian.org > Usertags: ftbfs > X-Debbugs-Cc: reproducible-bui...@lists.alioth.debian.org > > Dear Maintainer, > > coala fails to build from source in unstable/amd64: > > [..] coala is currently dead upstream, see http://sourceforge.net/p/potassco/mailman/message/34814194/ I suggest to request removal from unstable. -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
Bug#799989: clasp: FTBFS: Error: TBB library path not set or 'libtbb.{so, dylib}' not found!
Dear Chris,
On Fri Sep 25, 2015 08:04:44AM +0100, Chris Lamb wrote:
> clasp fails to build from source in unstable/amd64:
>
> ./configure.sh --config=hardening --prefix=/usr --with-mt
> TBB_INCLUDE=/usr/include TBB_LIB=/usr/lib
> Checking for TBB include path.../usr/include
> Checking for TBB library path...FAIL
> *** Error: TBB library path not set or 'libtbb.{so,dylib}' not found!
> use './configure.sh TBB_LIB='
[...]
>
> https://reproducible.debian.net/logs/unstable/amd64/clasp_3.1.2-1.build1.log.gz
I will have a look, I think it is caused by a newer libtbb version.
Cheers,
TK
--
debian-science-maintainers mailing list
debian-science-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
Bug#739628: clasp: 3.0 cannot solve some problems solved by 2.1.4
On Thu Feb 20, 2014 05:14:53PM +0100, Julian Andres Klode wrote: Package: clasp Version: 3.0.0-1 Severity: normal clasp 2.1.4-1 can solve the attached problems, and clasp 3.0.0 cannot. Both times using --opt-heuristic=3. I previously also used --opt-hierarch=3, but that's not available anymore. So I only used --opt-heuristic=3 for both tests. These are real world problems, namely 3 steps of upgrading a Debian sid installation from 2014-02-02 to 2014-02-20. The transformation of package dependencies is sub-optimal, as it contains unneeded packages, but clasp 2 was fine solving it, so 3.0 should handle it as well. I've forwarded your bug report to the clasp and aspcud upstream maintainers (in CC). Best, -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
