Package: libbddx-dev Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 423 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: 103712 MD5sum: 049580764c2b65c0909295fd1a6499c8 SHA1: b0319a16e92e8beb71e0985c548ee692e66d1c1f SHA256: 89c75a17a859be67dc731431a2a9287400ff8a93eb4633c9cadc03ab52f53eb0 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: 180 Depends: libc6 (>= 2.38), 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: 77828 MD5sum: 03e7e19ebbf74c7b1e094b76bf3c6c1d SHA1: f47fbe0a6e6229a3f165361c3f5004d1dcc90713 SHA256: 7c3de71ed07c0ba7bc1f43d174c1fddbb16d5578d1d9e8409338e9ae99f5f160 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: 291 Depends: libbddx0 (= 2.15.1.0-1) Filename: amd64/libbddx0-dbgsym_2.15.1.0-1_amd64.deb Size: 264088 MD5sum: 60ea33fc91f0c227b6a48013c07531ad SHA1: cf3d96f0c36fa40146de68428797f3ebbab17298 SHA256: 82165e252d06fe477c90d11fe18d2fae7e9c15c427d588e3ef71adc544812b80 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 4df25fc0e7cc0c0b8169a75a67ac4cc467d2d0c8 Package: libspot-dev Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 19870 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: 3649292 MD5sum: ba2e152543dd9e415282f9f556113538 SHA1: 0f3ee5fc0eaa5fd50f28639c774fac1334a896cb SHA256: 096a268b23e7aa7c2c1cc20c91f24bdc805c8b4978cb03534d08961e578d1a0c 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: 4327 Depends: libbddx0 (>= 2.15.1.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.4), 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: 1973676 MD5sum: 582732dac5db9c67794921d1f41653b4 SHA1: 426b275ff3c2670893db9fb2e91a8e1c9f38ca26 SHA256: 8d8b10eb1b61be2bb4b4e676b14392c3f989afbec6ed92870e98be5b12048094 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: 29305 Depends: libspot0 (= 2.15.1.0-1) Filename: amd64/libspot0-dbgsym_2.15.1.0-1_amd64.deb Size: 29069784 MD5sum: cfed64ed2799159fd68e034ec6321aeb SHA1: aded75a46c67bb0d661ff326fd6d5f58b6455490 SHA256: 3c74b7ab34534fbf459b04ab9c5152acb8e5cb8985411452fd7ced3209f2e00d Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 51071cb09d677da9be263f1e2f4ee9c4cd48aea7 Package: libspotgen0 Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 579 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: 436860 MD5sum: 2c0ece74ac97a29582fee0c4cd2c8739 SHA1: a263a6bdaea5a53c2d47d5f8d4d1d98030e13a46 SHA256: 70f2924eeb4eaf6b43eb4aef0b4c6d125f1a7ee32f78f74a827312744d3fc6aa 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: 847 Depends: libspotgen0 (= 2.15.1.0-1) Filename: amd64/libspotgen0-dbgsym_2.15.1.0-1_amd64.deb Size: 824912 MD5sum: 2d3631236a72fb709af2e74d668a2f7b SHA1: 2e52d9dce201075303bb0b9fa56a1a1b42fd25df SHA256: 1a6bfbc1e804410d534ff36d8100f9bcbc48db03a8dfe920bf6c7b385233f6f1 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 3c9a30d4d27befbf32691f89519008eeb0cfe58a Package: libspotltsmin0 Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 435 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: 381668 MD5sum: 5478f3705f8a35d21720029a8fc1302a SHA1: d9b09c2cb0ef7748809ed1978006ebc50c1562f7 SHA256: f9a0d267533d9c000850d044523c5a8613cc6c101c3ff6b34e604e9ef68b5620 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: 654 Depends: libspotltsmin0 (= 2.15.1.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.15.1.0-1_amd64.deb Size: 635256 MD5sum: c06d6ee04c4dde742c8cdce2b99570fd SHA1: fff348b1067b227ba1917243e38e8530b238def2 SHA256: 2ee1d2c0338f02493382c06ab91d6e5619eba63d4e38bea2fb23014ffcec83aa Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: a18b7a8bd004945e4e8be6d63bdd367b843b99a6 Package: python3-spot Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 44350 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.4), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0), libspotltsmin0 (>= 2.15.1.0-1), libstdc++6 (>= 14), python3 (<< 3.15), 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: 3866336 MD5sum: 36fd5380ab237a48e5e70c9b91a9ba2a SHA1: f0075c7a79433a1addb1e8f8325954eafdd824f4 SHA256: 84c560dc4fd4d625ab961e816d64e679e13f12ba8d77ca74b72ea9beaafc286d 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: 21133 Depends: python3-spot (= 2.15.1.0-1) Filename: amd64/python3-spot-dbgsym_2.15.1.0-1_amd64.deb Size: 19995032 MD5sum: c21d65fed7df87a39b0aef5867401332 SHA1: 15f91a4ab3e0e9463dba7e82b05c0db9a460a80b SHA256: 528ccdb11230f80df3d210a51668a195fe4892c9d413a859ba55a907f3728e10 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 02ed3874d160f324f84035d398c0d916c15dd04d 30e413c0d381414cebd9941c34462d4fc001269d 440ca02ad8215fe0f7e580abd4b8282cac6612c5 64477921f2f5a79be5c902a6d4dd4dc39a9dbdb5 8df4d4ef2f874622c26eb42cf712be8828f167ac a968731ecfc3231bb3a2455118dbe1f3dccbf814 bff16b2d924f1e4ff2b6f5e1b8c0ee55c02509cc c5855807aaed7ca83764fecad8946f0417cc4f5b Package: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3728 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: 1245748 MD5sum: 50b38145ed423c3699db771ca407da88 SHA1: 41ee49462fc3f9bbf6ba4604b2a1409bfcf2bbab SHA256: 293438891a6d6c96c8dcd50d33df1146c794617e513a89bfa99adfb072726fc8 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: 15540 Depends: spot (= 2.15.1.0-1) Filename: amd64/spot-dbgsym_2.15.1.0-1_amd64.deb Size: 14367212 MD5sum: f5dc962733ce4da042c3192da8065aa3 SHA1: 89f66d0b4e1fa31903de3d974d82d846ef493c3f SHA256: 96849428da43c147b9a29b6088d9e143b39aa7d6c59d2226fad2465211659014 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 38c713262ebac4b1860e61a188905c8f61bac257 38e1b016a5924546893a3e8cb5ddb47068262abe 4ff073a78aefbf7bbc3f6e25a11920ad76428932 5452e708cd0a1679ec05ee74a41e3c0e28974587 5cc198fd50c2636457479b14a55286209c5e655d 6758b7665d12934a17d3aab1531b7ac58442a124 690f8953358148fc9fa67defdc010be3e78d2e47 7bb0a1adf45e49a9d31aa7bfb03eefbbe7550ff6 7dc4a1cbf1f840297373acd557d825f8bb99b9d6 9a88409efaab2e7c7c7179146dc9d93d1dc8fd73 9b9f8a048089da0b60114b50d13e01641c57bc45 a7bb0f69232a13fdb1fd0e5e6212c9ac4dc4c22a ad9d612c0ca76fba5e0d085f757b5bd8d6f748c4 c8192665a489815154095597a4276a303d435948 e3fa8dddf3bf7151c5ae359ee61f79e60051dcc1 fc8707a9fa980b01e9896ff1786718dcd9673326 Package: spot-doc Source: spot Version: 2.15.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 30971 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.15.1.0-1_all.deb Size: 2342080 MD5sum: a63af6db763a018cdca3d56d6177661c SHA1: 5694077435810870549ad4e291cd31ef58ff0fcb SHA256: f200c5e2b11f0e53171fae4e02b65872e26fc48ecd7f42ab648cc77b32c8a54d Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.