Package: libbddx-dev Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 415 Depends: libbddx0 (>= 2.15.1.0-1), libbddx0 (<< 2.15.1.0-1.1~) Filename: amd64/libbddx-dev_2.15.1.0-1_amd64.deb Size: 98372 MD5sum: 3cb9893a7230cdbabc9722659a510c05 SHA1: 79c9a6789e985682c81ff330d16caf800772aa8a SHA256: a68e68b2449e0372245998a87008e5a68dc9282030eecf112cfb5b3327aa12c0 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 172 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.15.1.0-1_amd64.deb Size: 73644 MD5sum: 08d8010a2cf09193bbc79c37d60be8da SHA1: b8db823c0506792367390c712ad4527213b79302 SHA256: 1332c73fb3ca73b025b6c808931e4d9f08c271cdaf886b4035b3155cb016dc2c 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 284 Depends: libbddx0 (= 2.15.1.0-1) Filename: amd64/libbddx0-dbgsym_2.15.1.0-1_amd64.deb Size: 257764 MD5sum: 8555234634cfc6deaa715446f98b437a SHA1: 2c8d8cf1c84736fd31f705d51e3fad86b98a5f32 SHA256: 48ee960d845f093bdeb0a0b4a3a9b3dd201a7bc9ded044754a98361d43988c17 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 81e244f8596517fb6effb229c054a551b648eb5d Package: libspot-dev Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18205 Depends: libspot0 (>= 2.15.1.0-1), libspot0 (<< 2.15.1.0-1.1~), libspotltsmin0 (>= 2.15.1.0-1), libspotltsmin0 (<< 2.15.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.15.1.0-1_amd64.deb Size: 3452556 MD5sum: a9962cdf832cbda251cc2dd3a305e19d SHA1: 3680c749869ee3a05a5c77d5882c58b73d69b947 SHA256: 9120cdc18dadd36503a262be7a334fba2b7acee03f12ea4d363901320bf699ff 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3987 Depends: libbddx0 (>= 2.15.1.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14), libbddx0 (<< 2.15.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.15.1.0-1_amd64.deb Size: 1833324 MD5sum: f7db419e4c5a0b9d3b2a608272115169 SHA1: 0c4757996d57539264b6f92807f500f2eb668b8e SHA256: 0ae966666cb5e5b80a7244ab239d4cb0b3304f85a00366df9b7e8851de7d7f39 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 28113 Depends: libspot0 (= 2.15.1.0-1) Filename: amd64/libspot0-dbgsym_2.15.1.0-1_amd64.deb Size: 27776692 MD5sum: c1896659e1a61a05f8d90e65e345f8f0 SHA1: 5628e033a4be74617b509dfd79289fe7a93c2657 SHA256: 5977fbc0143faf213718386fbd1106999052e0cf608f6bd670e387a45e1f966d Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 86e059ff187f60248505ec82955771062be136cd Package: libspotgen0 Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 551 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.15.1.0-1_amd64.deb Size: 428184 MD5sum: 98f088fea4fee6a01bd238c5f902ead0 SHA1: 1462dc0c8016a990a8c1b7f6f56b0411439ba164 SHA256: c59e19f6adadea73f4a9889908ba0f3338e6bc85489286ff304be13b0cc54e99 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 660 Depends: libspotgen0 (= 2.15.1.0-1) Filename: amd64/libspotgen0-dbgsym_2.15.1.0-1_amd64.deb Size: 635852 MD5sum: 97dac320232410e0a17d8aeb09dfede7 SHA1: 1162484120be539d3d32b82bc29a8f86adc1a9ac SHA256: 3f32f3b4657015befe0c0a5e43ce4829d2bcebc91cb69e6f8af5478c42eef453 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 69746994ed5154065fc12c06a12b79d6939121ee Package: libspotltsmin0 Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 431 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.5.4), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.15.1.0-1_amd64.deb Size: 382424 MD5sum: 4f7bce83a9b85551f55d6b0fe4ece08e SHA1: 39078530b259191867c9d0dd7bd09034340f3fb9 SHA256: 86c1e9d43be686f3c2ce9be60342361d6a7d34a8b4e49d6c598effd5150cf105 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 630 Depends: libspotltsmin0 (= 2.15.1.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.15.1.0-1_amd64.deb Size: 611892 MD5sum: 530fe8ef7d1c806983ba8927a01faee8 SHA1: 505674075debc98e50bb893717125c91a9adb52c SHA256: e2a1195dbafa44477cd3936460d2d6579e71d1378bbc61612749829143181e18 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: ae96ae3373b3e28768a1936010f60b193742b939 Package: python3-spot Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 38127 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0), libspotltsmin0 (>= 2.15.1.0-1), libstdc++6 (>= 13.1), python3 (<< 3.14), python3 (>= 3.13~), python3:any, libspot0 (<< 2.15.1.0-1.1~), libspotltsmin0 (<< 2.15.1.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.15.1.0-1_amd64.deb Size: 2632532 MD5sum: 8cdb57f57d576b4f43d1e7d5b5777d06 SHA1: babccf8b26446c00ff612626132cffed2847a59b SHA256: adc260dcc0cbbc04aabb95f7e86613cf5228be7c29efa626dc3c6d9c7aebd87e 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 7887 Depends: python3-spot (= 2.15.1.0-1) Filename: amd64/python3-spot-dbgsym_2.15.1.0-1_amd64.deb Size: 7270412 MD5sum: 9bd9d13b5fba636bb4ef8c3afe2d4bbf SHA1: b5e14600cf646cf1c0e71abe8964f6f30653ca0c SHA256: 1962014812048435142e471938f6e10f3135be4d3b57c65c0da53df5b65c8880 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 8bc9339b40504c5087dd6896b5f8794d986e68df a76d4abd2239550255e3faa088312ee48fba1fc6 a9adcefbd9a1d8e8b32dce7671ec0643ea802cab d0913cce546462b1815c6d4372f27cc2960be276 Package: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3607 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0-1), libstdc++6 (>= 14), libspot0 (<< 2.15.1.0-1.1~), libspotgen0 (<< 2.15.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.15.1.0-1_amd64.deb Size: 1193636 MD5sum: 85e89368e8e26876b2330c0c872895d8 SHA1: 81132cddaa57eba575c0938c74ee350e07a5eae7 SHA256: 49cb4c382926f1b9f8010359d234b8c9c726164f2d16a11a5a176a1869ce507a 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 14981 Depends: spot (= 2.15.1.0-1) Filename: amd64/spot-dbgsym_2.15.1.0-1_amd64.deb Size: 13754156 MD5sum: 0a464f621e291f8e6f4a44e4a61fe2d9 SHA1: 4d2457a8cabd964fd87ba65ad089407c43c061ae SHA256: 7257d42f564630575cc2f9b1998254c30b40279e2eef0a029b7eebf388592934 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 1e950358a12856f1628e9665681c04b868c3fd12 4c9e224cdfd67494abb62bdd816b8a690095aa6c 4d1a9214fc37bdd58385b529b77280bb6bb31456 59fc2abc4f47e6468a8ad9b5d02fb56feeff36f1 76a066e9f792c5406f038437741a74ee39647dea 7cde49a9e8a11eb8259cb6ecd4d28e95a34a3aa4 8ea1a2fcafe16f81603b3cef78ddb2c17bb01dcc 93684573a99a66e7096efe32013bc22d3d88c7c4 9663bf6f2dac7757d85651a7df7f07fc3fa14e0f 9a6967dca313b1248e61dca0b499fe2cbc0d345b aed1b3e54fb9a608506ec156a63a7a7fe028f68b b04216db004a997df4be7f45e28db5ac1a02103c d3ae64a23b742ece3a1c34c711394bb38efafdc7 e3285927f8cd15b63117159ea4a32cc558526eab e676be369f4be888c65a161a54e0db8eb676428d e8d398d45dace0a34b0439ddd6cc7f7e62ebbd5f Package: spot-doc Source: spot Version: 2.15.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 29904 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.15.1.0-1_all.deb Size: 2310764 MD5sum: 3047c3f4cf0785221adfa1c62de4cc87 SHA1: d30c4f55919e7f1f5b222a0a1ea16e14b8c86552 SHA256: ca773ff9104ad751a72ec7a4a557d71843f92ed522bf58839b4784b3bc36505f Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.