Package: libbddx-dev Source: spot Version: 2.16.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 460 Depends: libbddx0 (>= 2.16.2.0-1), libbddx0 (<< 2.16.2.0-1.1~) Filename: amd64/libbddx-dev_2.16.2.0-1_amd64.deb Size: 110472 MD5sum: ca43a885899ae23d9a9ed8a2b93b82cc SHA1: 5df15a35160c2925992702d0823cece0769f6349 SHA256: d557454bf1005348e76c7a7ca5eb35e4ca553989ace9059447b58098be8d320c 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.16.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 184 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.16.2.0-1_amd64.deb Size: 80856 MD5sum: 4586de092dfa76408510ea69a46221f0 SHA1: c908f491243f3b5cb024f8ab9ba90db7bb34e1e8 SHA256: 29160f72d3f761fb9a18c4dbd3a1a53e538160852d0088fa68a1f586211219c4 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.16.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 393 Depends: libbddx0 (= 2.16.2.0-1) Filename: amd64/libbddx0-dbgsym_2.16.2.0-1_amd64.deb Size: 364816 MD5sum: 9999a58fc80230ea6dec4780929ceca1 SHA1: f012b4a897c443bd1503887cae47ab839038aae1 SHA256: 61d4808913f23c60773c8809a665a939f597a6d8cee27500963995c33dd6dc2a Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: ab469245c0cc68202eba23377a6734a4a93715ff Package: libspot-dev Source: spot Version: 2.16.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18944 Depends: libspot0 (>= 2.16.2.0-1), libspot0 (<< 2.16.2.0-1.1~), libspotltsmin0 (>= 2.16.2.0-1), libspotltsmin0 (<< 2.16.2.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.16.2.0-1_amd64.deb Size: 3597692 MD5sum: 0d667ecb8b78a3fd99c8f583a7c5f2c3 SHA1: f25bee5cc9a9ddf7fa227a09f2748a1c25dc821b SHA256: 211f8727c6813d23d0e105090720ed26c109e31c9121bf342194a9a0b01e98b3 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.16.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4289 Depends: libbddx0 (>= 2.16.2.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14), libbddx0 (<< 2.16.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.16.2.0-1_amd64.deb Size: 1968336 MD5sum: 97f95f2e4df9dfc65dda65fd402e9086 SHA1: 86fa2677f28fd417d9f79548d53a90fd46da82f2 SHA256: e24e307cbbca3a35202d1035d1fd43e5de61afa8ac109f5c1d6e66df3cc31f58 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.16.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 29701 Depends: libspot0 (= 2.16.2.0-1) Filename: amd64/libspot0-dbgsym_2.16.2.0-1_amd64.deb Size: 29373692 MD5sum: 06368600dfc84f09982746b1cf09cf20 SHA1: 15688d1ffd6209c9398d5b5c4a9febffe422bf07 SHA256: 4d7ece8d29e33f64be150fd1253688cf4ac2d232e517748ec84ae8079001e4a6 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 9920c53a2925fbc5c3b254adf777099e1001a2e7 Package: libspotgen0 Source: spot Version: 2.16.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 557 Depends: libbddx0 (>= 2.16.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.2.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.16.2.0-1_amd64.deb Size: 442448 MD5sum: 0575490932660e770783a1ec9e6d373f SHA1: cc69e1f7157d351bc47ea465d9c7b96a4d5454f3 SHA256: 091fbebf5f8c4ab2979176a75fd2c92d1c85282daf5b5ec1325459e0709ba1a3 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.16.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 671 Depends: libspotgen0 (= 2.16.2.0-1) Filename: amd64/libspotgen0-dbgsym_2.16.2.0-1_amd64.deb Size: 647156 MD5sum: 6834bac9ba21f1bb848529fe4607f68f SHA1: 27b53bad7de8767fd010523585036577efd7ae61 SHA256: b710d610ccd03f1a93fec3f544baef470695149f260351a70a0ed4474b841a55 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 40718009de29e1446633dac8cb70cb30a553dcb9 Package: libspotltsmin0 Source: spot Version: 2.16.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 449 Depends: libbddx0 (>= 2.16.2.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.5.4), libspot0 (>= 2.16.2.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.16.2.0-1_amd64.deb Size: 400700 MD5sum: 719a9c5060e35ad441907da9c3d07a03 SHA1: ef90fa5f72ac274d898b98ec24031d0204f4d39c SHA256: 3204fa5d90539361cf2b2b11d3726d3e7a1d065434b8d60950231390ff94c726 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.16.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 634 Depends: libspotltsmin0 (= 2.16.2.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.16.2.0-1_amd64.deb Size: 616028 MD5sum: 427605330c27c61aad92cdc2b83fb61d SHA1: bb4e9547157f3bbeb49e1e7ddc762dad8cbbf7d0 SHA256: fcd622b5154f2589a19acfaff7fe286cfef438f57c8e9f9ddf5a270aa27a8a30 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 06a16a2b7b02514fdebadfea170421589c366ab9 Package: python3-spot Source: spot Version: 2.16.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 40236 Depends: libbddx0 (>= 2.16.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.2.0-1), libspotgen0 (>= 2.16.2.0), libspotltsmin0 (>= 2.16.2.0-1), libstdc++6 (>= 13.1), python3 (<< 3.14), python3 (>= 3.13~), python3:any, libspot0 (<< 2.16.2.0-1.1~), libspotltsmin0 (<< 2.16.2.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.16.2.0-1_amd64.deb Size: 2857432 MD5sum: fbabbbb7e0d701bc0c8dad04a0607a8e SHA1: c1a33acef70ee3d8ffc4ff16c147f306a166b976 SHA256: dd118565d6a45418693ef2fbf6d97b8d3f74034314cff83496f2f4fa4ae5683f 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.16.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 8236 Depends: python3-spot (= 2.16.2.0-1) Filename: amd64/python3-spot-dbgsym_2.16.2.0-1_amd64.deb Size: 7580924 MD5sum: 4bf4106d2ed5ecdf175b8c3430afe4a5 SHA1: baddef39acb9986be8dede7d6fa70c9017614365 SHA256: bc61f3583919634aa03ffb91859558c0b43fa19636c863f2f6538328d64825de Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 094c88a42a1af349fe219306a738e8f6116f43d8 a2f317a9b8ed8ce2bc430b207db07fd869cb3bf9 aa9730af644ce12ff231430d0e23af87d3054c4c f695f221e3ded7c55f06c79de88933a7013fb88b Package: spot Version: 2.16.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4053 Depends: libbddx0 (>= 2.16.2.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.2.0-1), libspotgen0 (>= 2.16.2.0-1), libstdc++6 (>= 14), libspot0 (<< 2.16.2.0-1.1~), libspotgen0 (<< 2.16.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.16.2.0-1_amd64.deb Size: 1292592 MD5sum: afa33a7be77f4e7818fa3d14cadf8f58 SHA1: 30d0f5d3f7a5e92a30da7e42294e52046ecf2947 SHA256: fa07446eb1d3077df06c942fa42d5e950515db5fc260c19c4732b54b4a2ba854 Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: model checking and omega-automata manipulation tools Tools to manipulate omega-automata as well as linear-time temporal logic (LTL & PSL). Package: spot-dbgsym Source: spot Version: 2.16.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17034 Depends: spot (= 2.16.2.0-1) Filename: amd64/spot-dbgsym_2.16.2.0-1_amd64.deb Size: 15668092 MD5sum: 8be30ec9cf0515722a7af4ec760538c0 SHA1: b7ef6b307732233b5dccaf9f939fe4eeadd30344 SHA256: 015a709f431a6f2ff51ee4678a49d06b61e9a8d87c904790c9f1475d165addae Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 1a3dac40303a577fda4e0f2adacdc045a5297380 1eaf824fe64e8ed5db595ebf48d53faa8f3684aa 373ea34f6179c8c4619016a3f5a9664b6e579d53 50545c7c3116d5bc615cddb83b4f3b95a1cf5676 557d1c6b6f6f68a1609df389c68abe72c50e0c29 5b0aa69ddd488baa054379fa35631613792f2858 62e09109fdeac6a47f45fe8e37955ac31c76cd68 8e6a6585586b7d9ee18f787be91fcae56838a7fc b462a07c0806e78e514cfcd3b394183d4c80b2cd b61ede9f9a5f745471f25ca0d4847bc361a7e9a6 c24e5ba770e05b6c029641dc50081c9ea6f32796 db796a42f8094ca081f3dac8eb78ab73a891cd73 e3f9a24cdd387c7ceea7fe9cc061b74318b68b47 e4cbffef81845a372a1810952a06e2c5135dc7dd e60c37f06a05389a2fd71863d29cfd8e7a72df66 e63f002fa30fbaf41d406b5a58ab4f13d4d13143 ea9439ff7d00109bc31db420344d2dc6a7715dbf ebf6be45f484c1839175d8d8a9e67d866a3d26bb Package: spot-doc Source: spot Version: 2.16.2.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 33815 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.16.2.0-1_all.deb Size: 2630312 MD5sum: 8fbe8462f652095c4ea32c97771d92c9 SHA1: 5618933f732d0a3ca4f30dcfc83e865f9f7397b7 SHA256: 9c858188bb050314c50bb5e7566dfdb92d6f7df84c8f22401608090d9d8138ed Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.