Package: libbddx-dev Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 381 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: 91072 MD5sum: 117e5aca2a732440e1a9bd7a110225e7 SHA1: 90dc9caa2cc6ba28f7c6f9cf4be5558a64131d08 SHA256: b034beb042bf7016f7a235087268abc7c41b44fdb446ac5e0239c5c60370ec76 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.29), 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: 67008 MD5sum: 6aec11e4d7bb827be4b15d99a096c21b SHA1: fdb1e371504687617fe6d60282df94f97bb48737 SHA256: 9bc43b56d63692c01772740b1bef45a078d7d40fc171be0398413151b56719c4 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: 177796 MD5sum: 2950c6a54d6f10870930e333a6f4c6a7 SHA1: 7a2240b99e0d244b808506c90ffe6189b350eda3 SHA256: e9d8aea09b7fd050da268132f3a69207d5bf750f477436c493567dc2485f3ec9 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: afd407fd9c324a53f67af51f09f7f12674c5862b Package: libspot-dev Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18004 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: 3302244 MD5sum: 5706d1f19f474bd022fa8e78130f0d23 SHA1: 3c8ffba66f14d5d2ec588b760062d6caf52ae2ab SHA256: 2e0217bc80883f9ad63ce9070d98dc9b824ee0c83e241df7cdb91e5a379dc3e9 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: 4067 Depends: libbddx0 (>= 2.14.5.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), 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: 1850836 MD5sum: f5882a0ede33f3d9b7fb96724c977834 SHA1: f9f543c8cbbcce6b414ee5fb8777f347dbda46b7 SHA256: da9a1d790896495163ba683ef26cc09eb41dbcf3026ebb896b184887f88fdb0f 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: 29318 Depends: libspot0 (= 2.14.5.0-1) Filename: amd64/libspot0-dbgsym_2.14.5.0-1_amd64.deb Size: 29013064 MD5sum: bb85f3f19baf8f35c572ac0cc5da84cd SHA1: dc9d7a02adbfd3e9f4ef0facd6438273665d2d0e SHA256: 859db87093109ca41f71af7e568521043685e435ef0d705c1ad61a36709c41b7 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 196c43cffa5007a58c1344dcf093817458f5f46b Package: libspotgen0 Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 575 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: 428052 MD5sum: be36cdb1eb6cf0f5a1f732e79247a265 SHA1: 37a42492baad935289dca0917bc9d1e3c0e56a37 SHA256: 1742f85efceec30dc25c716a474ffb46e850d6ce796eb7aadca6a9a4025f4cb8 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: 677 Depends: libspotgen0 (= 2.14.5.0-1) Filename: amd64/libspotgen0-dbgsym_2.14.5.0-1_amd64.deb Size: 655016 MD5sum: 84e596059ba70981a77536d42ccd4714 SHA1: 2e72de0f86c959da196fd0f452eb7d68f83eaa02 SHA256: ce0f214453e66cf73e4d93236c38ff5fa71ccadc5c9b1015eaac9d16bad93a4c Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 7fb173aaefbef9a144a2420600e036ae0cd25a7c Package: libspotltsmin0 Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 423 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: 372144 MD5sum: 2d1a295b942054e61684973dd380888d SHA1: fe95243df63fd7e7cd72af7ad92bf7c46f8987b0 SHA256: 5ebc7c0179d7dc4b3f6bf77493e737f895a33366f57761afce7dfcab92c44283 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: 623 Depends: libspotltsmin0 (= 2.14.5.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.14.5.0-1_amd64.deb Size: 604532 MD5sum: b21087db5d0ea9eb1b3f5bef168a7549 SHA1: 0206c9e67291558fc635b848a51024dc3e084817 SHA256: 5ce636d9db642356ad16494aa8463af5d2e0f7e33bcf3566607e6557dbc51319 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: e3b00a2fddcaf4d5b31fe234ad16dccd19d7fa33 Package: python3-spot Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 32193 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0), libspotltsmin0 (>= 2.14.5.0-1), libstdc++6 (>= 13.1), python3 (<< 3.14), 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: 2261360 MD5sum: 1e8ab454a5f614b08bbf09779351adbc SHA1: a3c82a4a95ed5bfa548bd25abb89a10dffffc480 SHA256: 4f983120fc133bcbb574f95746bbb6479a323db27c59bbf326209fd007d3e368 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: 7616 Depends: python3-spot (= 2.14.5.0-1) Filename: amd64/python3-spot-dbgsym_2.14.5.0-1_amd64.deb Size: 7023160 MD5sum: dac999cd2054298566867bae0e093a4b SHA1: 2cbe1692ecc5114815f4be688452afc015d309a6 SHA256: 88376502cca16e44728b1a8e6b6981c43f3ff0af6b43c0f12aeeb65405c9a13c Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 8bcdf5eb5f01821e41d84cccf3a37d049d97605b 8c27115a2f73f570beb986d1efb85d00310a4ffd ccf8bbdd0bed647308d9db16789594dad3565f3e f5e2475a8d175cfd5e3f4bf501b348968041ae69 Package: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3627 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: 1170084 MD5sum: 7b60fdd39eeb82e2d5cb6de9cca9848f SHA1: 1e2e9e0c98293ce6b9449b96b60d91adde66bd7c SHA256: 93bebd8c0a37b8dde8222254e97097d2adae5b7036568ff01b9756c01dffad02 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: 16400 Depends: spot (= 2.14.5.0-1) Filename: amd64/spot-dbgsym_2.14.5.0-1_amd64.deb Size: 15183988 MD5sum: 89e1ca682852cb823abe654621a28f2d SHA1: 3cab7b760490a23f4ee12885a389cad99e69cbfb SHA256: dd11431a22dd1a5aeca8f9dc0488c63577545fe307940a3fa181ab9f345d2f12 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 0aa4f93320bda5c28f57df3b4e6a30039d663c5c 21d0fb5fb9e932e934a69c265a99918a317b7e9f 31e0b199129dbb4fcdeb660fc4a02314311252c8 33c73187d6c86940f2f4e80b36a5105ac43c5a1b 40a20b781e2548d14442ba8efbda376c65e0b6dd 48aa8ff6c9a740ad3813e1a58b7e9693553e312b 4bcc761b2a8eaf16517f685ba3b399d982a2de10 4e3c2d5e574a3074d119e7480b3ce8bc897a304d 5c29ab1a1fab00c219d63c356d471ef2c88a2c81 754c86b479ef1098389d4f19f74eb56735d8f781 7a2a04ac59d0180377e8f9bcdd1196f193bd5a02 957bbf5f22e63537ed0048af82371c3ef8c475a7 ad03216d4723412ceb1ac7f3d6c95d523cff1d6d cb4853e34cc52f6917464d408d696a7652bd50a1 dd508479b92f461e1ab27bbc936a17dcc31aa3e4 ea17ab3f722d9b0a9e23216a16792645cd1172bb f5e01c696fe2e2c3d6d9989afe1702d309cac645 Package: spot-doc Source: spot Version: 2.14.5.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 35689 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.5.0-1_all.deb Size: 2534812 MD5sum: 759de12f4164581f1c3747e8d1de4c8c SHA1: 23c8a83a1e4eaa46347f759ac6b7d2e2ab16d962 SHA256: f8d0f68ee6bedde362882e67d884e2b113590c93d645b7e9025f8e1e37ae1892 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.