Package: libbddx-dev Source: spot Version: 2.14.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 335 Depends: libbddx0 (>= 2.14.1.0-1), libbddx0 (<< 2.14.1.0-1.1~) Filename: i386/libbddx-dev_2.14.1.0-1_i386.deb Size: 94452 MD5sum: 4f44b8125d293d0747bdd1ec698baa76 SHA1: 90ef113fa4e6f9447da8975f62d0a2bfde13b023 SHA256: b8b0f561bff650ed179c1b4d6e8f33f9c9769178c1934dc95005144aa6ae5842 Section: libdevel Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: headers for the BuDDy library C++ headers for the Buddy library. Package: libbddx-dev Source: spot Version: 2.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 381 Depends: libbddx0 (>= 2.14.1.0-1), libbddx0 (<< 2.14.1.0-1.1~) Filename: amd64/libbddx-dev_2.14.1.0-1_amd64.deb Size: 89480 MD5sum: 73a5c2e3551b1ae88d541c810f78e8f2 SHA1: 4b036ac91ba8839c66c5193607e042de957197f4 SHA256: 847620842697493df384e83e706b8dfc40382f735658ef2c11a54b05cb33b287 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.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 174 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: i386/libbddx0_2.14.1.0-1_i386.deb Size: 72072 MD5sum: 3ca8a992af5923fc6671e3c6395422dc SHA1: e5cf238b2bad1427a8e01e0463a8388b1c525bbe SHA256: f3e14140ff347527d3cdc5fc8f88799e3783a0a57f21ea601e6fc00df7aca477 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 Source: spot Version: 2.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 167 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.14.1.0-1_amd64.deb Size: 73804 MD5sum: ac3942458f30325ec9c47696e50c62c2 SHA1: 72089732d8f3ad89ec4ce42b199807a99ceb46fe SHA256: 214d68c0ab3583bc996f02504411a1a8a5eed12d0dff8f59aab41d6d11852f2a 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 212 Depends: libbddx0 (= 2.14.1.0-1) Filename: i386/libbddx0-dbgsym_2.14.1.0-1_i386.deb Size: 182672 MD5sum: c1520c94195e1e1e2db5c8a23e215b0f SHA1: 3f4178c29e85e1ef1881959916f0cd4ac748484a SHA256: edc7bed2f3329b037a7f3198d9f99b7c0fc0d103101018404a72b1b4ed37924a Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: c7851d0a35edd9901008a5ed726b82f4400cb084 Package: libbddx0-dbgsym Source: spot Version: 2.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 228 Depends: libbddx0 (= 2.14.1.0-1) Filename: amd64/libbddx0-dbgsym_2.14.1.0-1_amd64.deb Size: 189772 MD5sum: e156c071c4ec5790069017c26c1dd280 SHA1: 47f44ccd6ae0bc24f671387ac5c3d851535bb4f6 SHA256: 330554a263138e8d8df7fbaebb1d342c3dcba1dded89ad54cadb365892884d32 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 3eafd5441e7df076033a4aef9eb2cc6d01e96159 Package: libspot-dev Source: spot Version: 2.14.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 15215 Depends: libspot0 (>= 2.14.1.0-1), libspot0 (<< 2.14.1.0-1.1~), libspotltsmin0 (>= 2.14.1.0-1), libspotltsmin0 (<< 2.14.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: i386/libspot-dev_2.14.1.0-1_i386.deb Size: 3215372 MD5sum: 31d053530e45480ad243137624b044f4 SHA1: 0b179a15a3d9755a3eec5e6e7214a811cf022755 SHA256: 7050b25144f2825b2b156ca9dd04c13146d49273d8ab2a76aba732770bfef268 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: libspot-dev Source: spot Version: 2.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17883 Depends: libspot0 (>= 2.14.1.0-1), libspot0 (<< 2.14.1.0-1.1~), libspotltsmin0 (>= 2.14.1.0-1), libspotltsmin0 (<< 2.14.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.14.1.0-1_amd64.deb Size: 3072900 MD5sum: db46fab9fae41eed661e7e54f8339125 SHA1: c16b92f1bb58d72f6079c4ea11762a29ce34f37e SHA256: cd895812e6a26097bb9d0a006e159e62830a9f6a2ed6b863c14733383efe64b1 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.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 4840 Depends: libbddx0 (>= 2.14.1.0-1), libc6 (>= 2.17), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), libbddx0 (<< 2.14.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/libspot0_2.14.1.0-1_i386.deb Size: 2277532 MD5sum: 3093ea8724547c708f277db658c0f585 SHA1: 966985d887d21076f6ed068e7167298d5580702a SHA256: af9dcb191a0310d2a0cdd07f7ed577531e64b9aa6098caa2e507d99d27b815b4 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 Source: spot Version: 2.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4675 Depends: libbddx0 (>= 2.14.1.0-1), libc6 (>= 2.29), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), libbddx0 (<< 2.14.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.14.1.0-1_amd64.deb Size: 2199460 MD5sum: 009e98d383e9b14d726eacc6ce0dc978 SHA1: 993d3afac492674f55878486a9f449c1cbc843cc SHA256: a0b679737bbe2ad3c5c9d77e35f00a4afed18072302fe874c0f85533b02ecfef 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 30328 Depends: libspot0 (= 2.14.1.0-1) Filename: i386/libspot0-dbgsym_2.14.1.0-1_i386.deb Size: 29622232 MD5sum: d51aa6c5bfc415103eb5ac1b1881032b SHA1: b68d2245ba666d39b5435fdaf41e08d0c5c5af43 SHA256: cae58c15b9ef6328dd3c3b355e703110a1d7b2a5f7e57fb461a5fccca693f2cd Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 926edc3a5730eb9e55d6257c533ca27921a084c1 Package: libspot0-dbgsym Source: spot Version: 2.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 31070 Depends: libspot0 (= 2.14.1.0-1) Filename: amd64/libspot0-dbgsym_2.14.1.0-1_amd64.deb Size: 30034816 MD5sum: 675b30ecdd65b1de7755f135457dc0d8 SHA1: a3bc56c37c4d65bf880ed710bfa7a3327b394452 SHA256: 74f492b6630a0cfbe4929356db9370adf9a24a000f8b5aaa199092c58a482cec Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: b1894140eb4139bf583f82cb89dcb721e7cfa0f5 Package: libspotgen0 Source: spot Version: 2.14.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 570 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.1.3), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.1.0-1.1~) Suggests: libspot-dev Filename: i386/libspotgen0_2.14.1.0-1_i386.deb Size: 430492 MD5sum: 060f99691c49875e8b664e4bcd783a41 SHA1: a952bc0600b323f97856434a796209dc5a3f196c SHA256: 9086bcc71eeb1e523696021729f22102a57cdbfe3b550ea15dce83604277bb33 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 Source: spot Version: 2.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 583 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.1.0-1_amd64.deb Size: 429196 MD5sum: de0c350ad0a3f93cf3e8c4ad1ba9a88e SHA1: 6885f3375fe558bdef209e298fe099409785a087 SHA256: c86a08c8046419c5e72504c83afbef0f4bdc06b2c3eb088b5bf6555024fea5ff 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 770 Depends: libspotgen0 (= 2.14.1.0-1) Filename: i386/libspotgen0-dbgsym_2.14.1.0-1_i386.deb Size: 744660 MD5sum: 4dd95aff809a4fe4e737dc71a4f6266c SHA1: 6122440d0335aabbcb59e0e858f8e6d0cc5b6375 SHA256: 06beef052ad7127115483c87cd8c329bfa104359489b215191bb707ae7c24921 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: f23fd61fdbad86468eef32c64a2ec4b07542c074 Package: libspotgen0-dbgsym Source: spot Version: 2.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 789 Depends: libspotgen0 (= 2.14.1.0-1) Filename: amd64/libspotgen0-dbgsym_2.14.1.0-1_amd64.deb Size: 753760 MD5sum: 963a3bf365fa509b065de89d47ad1db1 SHA1: 5b360050fe502edb651d0612c0e3686e533ca843 SHA256: 75593d9ce654d159a384220ecf3850fb127411a91b41e839214123f769ba1ec5 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: ace795b3cebdb420546e924cc61e855a2a98f2a4 Package: libspotltsmin0 Source: spot Version: 2.14.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 422 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.14.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.1.0-1.1~) Suggests: libspot-dev Filename: i386/libspotltsmin0_2.14.1.0-1_i386.deb Size: 373160 MD5sum: 60fb96d88b7f770721fdc49d53d1cf6d SHA1: 5184b94716eaac2c9b0c6ca6fb939b0f68ad3f0b SHA256: f9894139128ac4dbc111187fe2a9ed5bda6e6f28b3c1331197cc60d2a6c7884f 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 Source: spot Version: 2.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 423 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.2.5), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.14.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.1.0-1_amd64.deb Size: 370576 MD5sum: 0dab3cefa7886cb6f6060b2ebbdf75cb SHA1: a4c1f602ed2e64eb27f45bb7bbec89291564fc0f SHA256: 130f77ee815f76ebba4e37f8caacd912bdc6e95aa5e970826fbcc2da5ca1b5e9 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 667 Depends: libspotltsmin0 (= 2.14.1.0-1) Filename: i386/libspotltsmin0-dbgsym_2.14.1.0-1_i386.deb Size: 626820 MD5sum: c81623bce95728f597c6789bb4236bf8 SHA1: 5159c92a946eecc42a412875835e03b29fbfa444 SHA256: 9cf82d4f4a94815190f3dc0a48ca1c389a3c2aeb9ba8df451517612d73955d89 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 5ef8b116905c147ac8e4465833dfb80537709697 Package: libspotltsmin0-dbgsym Source: spot Version: 2.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 691 Depends: libspotltsmin0 (= 2.14.1.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.14.1.0-1_amd64.deb Size: 634176 MD5sum: c322c79c6c5b9be352ad97c14aa86b4e SHA1: 1473400fd4e9f7155df05ddb884b557b098819c4 SHA256: 60ca7b898fc465ea3e0c9257fb01a08695fd2d15b27becb3d09c3c498811fd2a Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: db173e8601952efb5564f384080a9d39abbb7872 Package: python3-spot Source: spot Version: 2.14.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 31440 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.1.0-1), libspotgen0 (>= 2.14.1.0), libspotltsmin0 (>= 2.14.1.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), python3:any, libspot0 (<< 2.14.1.0-1.1~), libspotltsmin0 (<< 2.14.1.0-1.1~) Suggests: ipython3 Filename: i386/python3-spot_2.14.1.0-1_i386.deb Size: 2270460 MD5sum: 15071843eea4ffbb74edc7957b3ccc91 SHA1: a065c03954c5252f26c2d59b928eccd0b5b73937 SHA256: 7e3e23ac88403faa67eab0ff1a21167738f9ced85d3aad5bf057f86d7ffbb808 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 Source: spot Version: 2.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 31749 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.14), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.1.0-1), libspotgen0 (>= 2.14.1.0), libspotltsmin0 (>= 2.14.1.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), python3:any, libspot0 (<< 2.14.1.0-1.1~), libspotltsmin0 (<< 2.14.1.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.14.1.0-1_amd64.deb Size: 2249940 MD5sum: ab34df0897c9718259b917cd87c07e7e SHA1: 0cd6bbd1b82b74200a1e8b831c6304054c168572 SHA256: feca708518d89fce4cbf84baa93ad807a953e762263a410003fe7f2b791c589b 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 7851 Depends: python3-spot (= 2.14.1.0-1) Filename: i386/python3-spot-dbgsym_2.14.1.0-1_i386.deb Size: 7161412 MD5sum: 50d2e2bb9a01b472643d712c0437d2e1 SHA1: 46c0f3784efe5253e3796158085216d57b1700a6 SHA256: accaed603e018833fc362915f25e42e910aa5671fb0b7509d1f4cd5709b2e752 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 4285216872a624205c1a8a2c8ec277d7dfa31b8c 5e307682b828fc5cf5de10022376421ce166a9a7 a316e10ab2f0662d78b2724a02a9dbf60294ab40 d5eeddf8e3e956a3fa8f27b8ebe5aff6133d2e49 Package: python3-spot-dbgsym Source: spot Version: 2.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 8294 Depends: python3-spot (= 2.14.1.0-1) Filename: amd64/python3-spot-dbgsym_2.14.1.0-1_amd64.deb Size: 7421864 MD5sum: 7ca184a0fd6572f5f6e8ab2005955466 SHA1: 09f71a4dd534040c03be1a00168532e9a0f9af55 SHA256: 308512988e0ca6ea85ae68ca26fa7e2c1f74e3a6df4cf4184322a90372acd12e Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 658cfa28b2a7bd5a143420ad34548cfcc9f88e6d d43c9c4940f5fb5481db1ca210f074cee61adf52 db8c56acc5f17cec6d1c9176612f4ec83f4d70cb ee46161073a586cd88e05d760cc8d9b584c353c9 Package: spot Version: 2.14.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 3645 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.15), libgcc-s1 (>= 4.2), libspot0 (>= 2.14.1.0-1), libspotgen0 (>= 2.14.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.1.0-1.1~), libspotgen0 (<< 2.14.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/spot_2.14.1.0-1_i386.deb Size: 1250196 MD5sum: d125c1c25b6f09d1158a9bd255aaef41 SHA1: 724998f19c7e12a13412335de79d59643e706e78 SHA256: 8c035ac2d10d6284ec0687e102b37ac12b8b63f309131f320beb1c687bde7b80 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 Version: 2.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3761 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.15), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.1.0-1), libspotgen0 (>= 2.14.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.1.0-1.1~), libspotgen0 (<< 2.14.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.14.1.0-1_amd64.deb Size: 1241020 MD5sum: af3ff35c81759c14d7d371a08d66d516 SHA1: 01c0943f403346d810ba90dbb5ad04ccb8cfee3a SHA256: 702e9c2e0141721b0c950fb9846b4f2596039b85bb55d75c0702bee65a140e5c 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 10298 Depends: spot (= 2.14.1.0-1) Filename: i386/spot-dbgsym_2.14.1.0-1_i386.deb Size: 9147356 MD5sum: 175a6b5ea0d01f4c672cd50df68bc307 SHA1: 6979840d8df89c40d839b96b79ef4495f9108e6f SHA256: d139d4f24c08fe8a6a07a162e48b8541ec56d478cc49c341d4e914ae5b8b5297 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 31fad10bd5a23379fd6ddc41ad231eb9640daf50 406b67edbc591de10e9fde05052fcf12cd20af1a 56499b1f68c6184977aa9ab334f4ab03ef8b5ea4 679c1a145e03d4a3171cfedaedb356d7c932578c 688e7a614b50d02132389b2165596a797824f643 6e7044f836d004d97fdc0748b4dc424dc2652c36 843e0a419807b1cce3e1a2522f3f361f999d32fe 8442e31cd04805366ac8086ed2008a05c8907ca4 92a996d17877dbd1003dc5f8a47b95f45c883501 970b83030c1080760df595b27cda8e711549d6db a473814308a8f1e0214caf2a8e8344b8ff5925af ab41b779f0f959dd8a47a63b1d6b4b90ad089ffc b2ce760a31b39073c89178c1d4c6cc94849cdeb1 b6ec47a80159dbe2e7e3579f75ff878d6c7a1323 bca19590c04690bc693571c643b1977b5448f1f2 dd537aa7575aa000bdaf39598d37fe5089258d64 fc867a4ed85e51af4f2dd70d2c3bf18e917f87fa Package: spot-dbgsym Source: spot Version: 2.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 10953 Depends: spot (= 2.14.1.0-1) Filename: amd64/spot-dbgsym_2.14.1.0-1_amd64.deb Size: 9446360 MD5sum: a27ee5746f07ad37adc75cfc6a8b686f SHA1: 641da798b2eb38f4831d287505255957a04b972e SHA256: 3b8c6357b84eab56e6b9f77f9bae3a3a90ac28adaa9f9f0b3b646caf6c4c4b1f Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 1ac3987bab80367caa98cf510deb25406af93c53 2b0eb92204f7491d8c9a31a421d3f957ea36e102 491ce6a786d1d052abc60482f1016bb32117abad 4a03b37512d13351b9d1cba33958e267b8aea4ad 4a8c15da23ab06bf5123c18f5576f23977c5b208 5a29c75a387c6e0109a2fdc220bb26918fd57699 5a878d7cedcc26adc89b07712ac5978b5b51a38d 6ffb85e71eccd072fdb260c743a7e6c6b59fe8b6 80493dbd50c4d5490ab577cd1f37ffebeb11a95f 91843034abfa2c42f0ab9b37a5bba14b088831df a2895064ab8ebc30da625ceb71bcc736657372d2 a7d60c08ac65656549e348944a52e46bbbe39870 aa76d802594300d367381e30173cbc60772d6a72 b41ee3bf5cdb888b8f9a58dbbef47293acd253ca bebd44b036ff642991861f4c1a15592e63d52142 dc0a609ac200ae8287cc8d432adc34ce8dbedeeb f705536366f1f6a15aa1af11b3135ba8fdc6c02a Package: spot-doc Source: spot Version: 2.14.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 30803 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.1.0-1_all.deb Size: 2331708 MD5sum: 7a6e4d36c6999cd8d79d08f3ec16499f SHA1: e0aca51a92874ea4a6b1e2b111b565309c7acb57 SHA256: cb49a20121093d97eb4f2a4e0c24671d5acdb761cd6ef90e7f89c99949c966d8 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.