Package: libbddx-dev Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 384 Depends: libbddx0 (>= 2.14.5.0-1), libbddx0 (<< 2.14.5.0-1.1~) Filename: amd64/libbddx-dev_2.14.5.0-1_amd64.deb Size: 92640 MD5sum: 76442bb445887f8ed0423cd8599a5cf9 SHA1: 1e7541b6a90caf13d7c147f109a465c8b754914a SHA256: bdbb278ee19d056df16edf3b19337263e3d29cec5e333ec293f8a082387e0674 Section: libdevel Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: headers for the BuDDy library C++ headers for the Buddy library. Package: libbddx0 Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 159 Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.14.5.0-1_amd64.deb Size: 67496 MD5sum: 0d359f1f061279e14147423264ffd6ec SHA1: 4317e0a4662bf63392032acce69d90082f81eb98 SHA256: 7a7165d0adb355095a89e12438867ae37b9ff6eef59d30efb64b4c86ed7915cb Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: alternate version of BuDDy An alternate version of BuDDy with slightly different data structures and additional functions. Package: libbddx0-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 202 Depends: libbddx0 (= 2.14.5.0-1) Filename: amd64/libbddx0-dbgsym_2.14.5.0-1_amd64.deb Size: 178280 MD5sum: c6fb31fd510194bd978f457c4e3148eb SHA1: 8b735207cc5d5674eefb886acf182884d060731b SHA256: 6b57dd23580f023fc686854429fe97e387afb95de197dec084de20b1e2feed5a Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: f168dba24044e07bdce82f7d60e46ad0530ad175 Package: libspot-dev Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17783 Depends: libspot0 (>= 2.14.5.0-1), libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (>= 2.14.5.0-1), libspotltsmin0 (<< 2.14.5.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.14.5.0-1_amd64.deb Size: 3280724 MD5sum: c312fbfef627aba6d2bf749330aeaae3 SHA1: b723b4011066a049bf1e6addbfea470661fff1b1 SHA256: a42670143304c51dde2e636e9513335c51491c4fe88a9363a824abfddf7132af Section: libdevel Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: headers for the Spot model checking library C++ headers for the Spot library. Package: libspot0 Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4135 Depends: libbddx0 (>= 2.14.5.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14), libbddx0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.14.5.0-1_amd64.deb Size: 1880192 MD5sum: aa9a1bb3a4c91205839803efbab57e09 SHA1: 708bc6ebd4fa8dd80acd1bab61524c9127d23583 SHA256: 053461b60f7c49fcd9bc2a080500bdc593ce1343e5fcf5fd67191f2ea103c375 Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: model checking and omega-automata manipulation library Library to manipulate omega-automata as well as linear-time temporal logic (LTL & PSL). Package: libspot0-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 29309 Depends: libspot0 (= 2.14.5.0-1) Filename: amd64/libspot0-dbgsym_2.14.5.0-1_amd64.deb Size: 29011568 MD5sum: 51b8fef3da6237719b1d3ef8cca40423 SHA1: 2c7d1596b3d7e05b480c64b392e1d04ee333f189 SHA256: 9440a6b13217c4bef749d83663024efee6a21e08aa4103f03dadd60fcb3d1896 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 9c5a99dec772bebf30c97183b84b1674dbff30e4 Package: libspotgen0 Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 587 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.5.0-1_amd64.deb Size: 430880 MD5sum: 5a6d2aa8f6d991db4b84ea7c5ae60b9b SHA1: 0321ecc2d0e0c720ad003284b64b794d4be801ce SHA256: c1299d6b550442dc22ae29a1ec992f41a381df9c0af09f95fdd8b94bbc509079 Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: functions for generating formulas and automata in Spot Library for generating families of formulas and automata taken from the literature. Package: libspotgen0-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 758 Depends: libspotgen0 (= 2.14.5.0-1) Filename: amd64/libspotgen0-dbgsym_2.14.5.0-1_amd64.deb Size: 736708 MD5sum: da5557d3bca162f8870612794bb396ec SHA1: 2d500c6a13fe3c343e5e3323dbf34fbb8d728177 SHA256: d7d3fc7c169b5cc696c8ae1c5bc92a2b22f2714dfe5d33d62e581b788d04aaa5 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 9689c9a562c19d13f4757ef1445fe066fc455552 Package: libspotltsmin0 Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 427 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.5.4), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.5.0-1_amd64.deb Size: 372500 MD5sum: ad78921683cd6f75c0d79d78ebca6676 SHA1: 628703f2ffe60359fd9a59a8768a4caf6cf726c6 SHA256: ec5f433c3dff0a08485e52b82aa13e423ff8c7e3e4a55722d04d52f6cc3b27ba Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: interface between Spot and LTSmin models Library for loading LTSmin models as Spot automata. Package: libspotltsmin0-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 642 Depends: libspotltsmin0 (= 2.14.5.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.14.5.0-1_amd64.deb Size: 623544 MD5sum: 1c4596d964135658f19f14659c7d4b70 SHA1: 0741f569759715a43e26fa872565906edd4ec565 SHA256: 2bbe197e31ebb67992419ecdfc9237b55309b800d82e82bd4031abd7caf0ce4d Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 47ee3840530abab6f13bd957fd18f6e315707e96 Package: python3-spot Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 37677 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.38), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0), libspotltsmin0 (>= 2.14.5.0-1), libstdc++6 (>= 14), python3 (<< 3.15), python3 (>= 3.13~), python3:any, libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (<< 2.14.5.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.14.5.0-1_amd64.deb Size: 3329464 MD5sum: 2d45244617231b21a286838413718b1b SHA1: f2cdc96c92b3db6018b748222f3dd1fe178c386c SHA256: d6471d6dc6bf8c04c5133a2abc6db3e833f07c46f058582af861a9bb06d5b680 Section: python Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: python3 binding for spot Spot allows manipulation of omega-automata as well as linear-time temporal logic (LTL & PSL). Package: python3-spot-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 19411 Depends: python3-spot (= 2.14.5.0-1) Filename: amd64/python3-spot-dbgsym_2.14.5.0-1_amd64.deb Size: 18276204 MD5sum: e2961028a357eff2ec1ab5972bfaa714 SHA1: e7d86376e9211d9ce57d95464d7e3006c8b89ec2 SHA256: 82dcd2c9a90997b239caa58ba40934afec532e4a4a6bea9d90c12ab4ba20ac79 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 0fd2f25403971c26ad3c63121c537a1f60c75183 255d3158321737132868872a9d3ce303e68e5196 6443095a16e3add970f7e2766c9b96d0479272a6 886bafb5a356a45b77c12a7b3425611a83f57aed 93cb22c702022a44254e625378947eca5dbb1b27 ad3756bbb48ec91056f75873adced6e46f4439b7 d6d4e9218c8f7d8cdea73c2252b977013224f479 f43e5474a7137706c1259580b3933ac071980eb3 Package: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3635 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0-1), libstdc++6 (>= 14), libspot0 (<< 2.14.5.0-1.1~), libspotgen0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.14.5.0-1_amd64.deb Size: 1170512 MD5sum: 0f46beff85f14bfc18a52403dec23329 SHA1: c4bb49b50ca6c99c3c9184de4bf3b007c50bc022 SHA256: c9ac5649aa648f588897e863172db58825c9eb5ef8c955b6f3557073a36c8f59 Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: model checking and omega-automata manipulation library Tools to manipulate omega-automata as well as linear-time temporal logic (LTL & PSL). Package: spot-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16122 Depends: spot (= 2.14.5.0-1) Filename: amd64/spot-dbgsym_2.14.5.0-1_amd64.deb Size: 14900952 MD5sum: 28aef5a9e55619292b60a4d2fa5082e4 SHA1: 9835db11a87f1f5fe1c25889061e6e66bfd87e7f SHA256: 7a87859029a4c09af8f9e992f2f671ebda720945622070bb844d9e4e3d0caed1 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 00b9d5debcb74739bd787ca6252089e14ac1dd09 02eb2ebca41782c1276639eae8a44f5a1f999348 04146359a1297dd314f79fd77bb32b38e2841724 18ad26d2acf5ba349b74e7dcd049bd7f45a6a4b4 2b8ff8241c922bf1aeacbb2d047e6270eb9ab874 3bdea04356f0efdf6adb7686ee5561758c0d15db 40cc57aff0dfc9a810942708f3ad56f497bd35b9 4c48c057cb9f54e571331a31ad39c96951d4b2e7 68dffd35f8367ba7134c8b7842ff1eae1c45b8ef 75a5488713fd136d354c04a79664d7484708b374 a643221f71bde24928e58b1f239f719a64fea85a abc192f276f0d430fbfc37d18d4b0838fa4a0687 cc5c926a69749c93435061799440c45ecc9b73bf d585c8e0f11ee2d6a3a12b6dce037bd8711f46f9 e644f6f362d01447cea276e0460605fbdba46a15 f6f762de3aa9a001f3cc019a32effa42387c6e19 fe743d12ebd630192f8f35e96d110bd1169c178c Package: spot-doc Source: spot Version: 2.14.5.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 37200 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.5.0-1_all.deb Size: 2591044 MD5sum: d97d6aaded9e7ae28eb1bfb8a77bd8f9 SHA1: 6fb9368ddef3ff384a67e68736e3009df68326ae SHA256: 8338ac21d58fb4e1baefcfdb7e319e7ae8d3167afadaf47336e30d5557e2410a Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.