Package: libbddx-dev Source: spot Version: 2.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 381 Depends: libbddx0 (>= 2.14.4.0-1), libbddx0 (<< 2.14.4.0-1.1~) Filename: amd64/libbddx-dev_2.14.4.0-1_amd64.deb Size: 91036 MD5sum: 01920fa5927391b5e370db2d2b186d45 SHA1: cb72a03e36fa13ce95129152f9eca54792333e43 SHA256: 48a99967d254072eed45fd4608c3cf4408434e11ab7744d1ec70070cc7baa41e 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.4.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.4.0-1_amd64.deb Size: 66904 MD5sum: acde84a840708efd3d5387a6f3fd8bd6 SHA1: ddbb8239dea1709acdb0cb7b2d535c3244620705 SHA256: f40b1e518d521962a72a4d5392a8d5ea681ec2f7d90df6f8c23730bc39989dc9 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.4.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 202 Depends: libbddx0 (= 2.14.4.0-1) Filename: amd64/libbddx0-dbgsym_2.14.4.0-1_amd64.deb Size: 177816 MD5sum: 20002bd6daf1afa1f1b018ef9b09c8d7 SHA1: 14d740c2cfb4a1f7b664d8406b7add90b28cb3cb SHA256: 38efbe924eae6e26544f46015b217380050fd9f1aa6332474223071da2bab6cd Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: d48380444ed5f37a88925a90cff1712949617d7f Package: libspot-dev Source: spot Version: 2.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17995 Depends: libspot0 (>= 2.14.4.0-1), libspot0 (<< 2.14.4.0-1.1~), libspotltsmin0 (>= 2.14.4.0-1), libspotltsmin0 (<< 2.14.4.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.14.4.0-1_amd64.deb Size: 3301316 MD5sum: a4257a44cd44e0594c7d9f4874cf0d86 SHA1: 90c75715014ba9d343c5bcfb9e0f3b2dac33db40 SHA256: 7323faaa0a62301423ae7825fb355d987806dd9364d6846471f68b4d4ae3b770 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.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4054 Depends: libbddx0 (>= 2.14.4.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14), libbddx0 (<< 2.14.4.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.14.4.0-1_amd64.deb Size: 1847452 MD5sum: 05a665e1bdd6064a8f8e374943770e0a SHA1: 5469c0da9716ffca49f519222449d5132ee39523 SHA256: 13a0e24747f856baf58edcc16fa6a72bb40adf665839d30201a7db063000f965 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.4.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 29291 Depends: libspot0 (= 2.14.4.0-1) Filename: amd64/libspot0-dbgsym_2.14.4.0-1_amd64.deb Size: 28987340 MD5sum: efb1aa4e4d7e5469e72d00584d643d13 SHA1: 51f14a95fac8cbdf9a416c0d45ca79edcda0e824 SHA256: 3db5d21718583d0731af2f8d7540efa9e508188dfbcf4f9b66a5e2ac7ef8ddae Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: aa02f502c24a37fd5ba3b8fad2bd391ae8f71ff1 Package: libspotgen0 Source: spot Version: 2.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 574 Depends: libbddx0 (>= 2.14.4.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.4.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.4.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.4.0-1_amd64.deb Size: 427520 MD5sum: d4264d9fd82075940352cda83514d19f SHA1: 116930104ad130ab44372e48c2d6b76ca21acb92 SHA256: 99a3d23d7ed5ddd40f6bf23e637c06e6aa3abd514c270683e072a8a1536de527 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.4.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 677 Depends: libspotgen0 (= 2.14.4.0-1) Filename: amd64/libspotgen0-dbgsym_2.14.4.0-1_amd64.deb Size: 655024 MD5sum: f4baaa2b55bc2918dd0ad5f9c4c0ce5c SHA1: c0531769c935036e9700e66f92a9c985c04b6464 SHA256: 4c912da59c8f6767857f8406b26a0808fec98dd2495f6704aa6975b208ad265a Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: c2dd236cea28345ca04c4b0c8e684d6ae845d7d5 Package: libspotltsmin0 Source: spot Version: 2.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 422 Depends: libbddx0 (>= 2.14.4.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.5.4), libspot0 (>= 2.14.4.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.4.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.4.0-1_amd64.deb Size: 371628 MD5sum: ca8539b1578eaa04e75063602a9276a7 SHA1: 2c6a8b36b2ec92b2216c7f59fe09d40f0954a923 SHA256: 895f56e83cdfcbfa71df8b12c6c2196f4e84631acb105353acd21c63d02a2bc5 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.4.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 623 Depends: libspotltsmin0 (= 2.14.4.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.14.4.0-1_amd64.deb Size: 604480 MD5sum: 16ba0e8e7e9af2dca0fa1a190be1fa09 SHA1: e3e5ae6b586fd45fac7cc61b10e506a0321825f8 SHA256: 561d5c86781004c018eddd83e496439b2e44595186b957c8573bcba4b7939052 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 01ae445ff46cccaf938064c1b5e5731c4b27f13d Package: python3-spot Source: spot Version: 2.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 32192 Depends: libbddx0 (>= 2.14.4.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.4.0-1), libspotgen0 (>= 2.14.4.0), libspotltsmin0 (>= 2.14.4.0-1), libstdc++6 (>= 13.1), python3 (<< 3.14), python3 (>= 3.13~), python3:any, libspot0 (<< 2.14.4.0-1.1~), libspotltsmin0 (<< 2.14.4.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.14.4.0-1_amd64.deb Size: 2262832 MD5sum: 95e6f4f16c92dbaec10ef01a60bb51f7 SHA1: 253ded2971b0dccebd47a2fc40144e1624060b9f SHA256: 6b47fd56ea361ee78d3f98cab3f2a7ded36f1eb62843410302745406cc4e5334 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.4.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 7616 Depends: python3-spot (= 2.14.4.0-1) Filename: amd64/python3-spot-dbgsym_2.14.4.0-1_amd64.deb Size: 7022772 MD5sum: b4739a6aada05bd0b8596f8bb9d5f489 SHA1: ca1f4413ef8926b93b166ed614c448312348cf1f SHA256: b3a03c1682384200c8087986044b9d5158a43e27066a3628c0ce07c7902463cb Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 7d689ff0cd83ea8f0e7ce0e46e41531f50789bc9 8c27115a2f73f570beb986d1efb85d00310a4ffd ccf8bbdd0bed647308d9db16789594dad3565f3e ee15654afcf5d75ea501e3a54f095bda30d1ad55 Package: spot Version: 2.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3625 Depends: libbddx0 (>= 2.14.4.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.4.0-1), libspotgen0 (>= 2.14.4.0-1), libstdc++6 (>= 14), libspot0 (<< 2.14.4.0-1.1~), libspotgen0 (<< 2.14.4.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.14.4.0-1_amd64.deb Size: 1167156 MD5sum: 84dbb328a62da4bb7543c8f603dec5bb SHA1: 2caf2c6ae2cc4839f3dc283977f6cf4c1b8bef92 SHA256: 4254e204477f3ad6fd86677cceabc34394bf4051172f5bfd9ad6c6d259f94a7d 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.4.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16402 Depends: spot (= 2.14.4.0-1) Filename: amd64/spot-dbgsym_2.14.4.0-1_amd64.deb Size: 15189920 MD5sum: 021f9a5676cf4b686405c992c3904dfa SHA1: 886fab5edabf19a0ef44fe755e4764c35c56f9e7 SHA256: 6b82f86e897803a5b960361a20268a9c49ccf9f14d789b435885878b2a415000 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 0663e6bebf84f12bfc79318998baab351cf0b904 5dfc05d669501363aa13fe0c1eee90fb8c4bea05 68a66e3dae0bef344be5c2511ec30af6e69b231d 71480b91c674b4fe1e9008c7f7682991d72996fd 83f1ea45b32654946e0e56b2ea52216be59657c4 8e006237fb8c2bf15f0218c5b09569e29f6bf768 92fef1cc4f6b030feffee83acb322777d491504d 9c09286fa69df504bfc5253288aa02ae464c1a6a a048740714ad265f0bff9f6c5a1323bc41ea9b21 a4b9b1e6a558bc295136e61ac78ae180427acb2f a9066f2f3083db3c9f5a9439b26d41d0bd720a7d c689d793e4e83a2abcaa47f8608aa7f32dd042f1 dc7583e49e91bc49f52f34f00c498e449629573c debecca3be42a84f026ae4d897fd5b6cbf539a1f e20e57c8da2ae83aab323960d02bbdbd4df7699c ee192824c5b0c29b0024dee05f73ac22c33197a8 f7d7686c63dbbd9bcd71613deddabadc6368f4bd Package: spot-doc Source: spot Version: 2.14.4.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 35687 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.4.0-1_all.deb Size: 2533776 MD5sum: e446d6c3ec81e885b2e6cdd9db6cdf22 SHA1: 6287dcecb363f979e31c478106b403cfb4f31a61 SHA256: a628e173180cf6db684b9a0036e345828ef0c1e34f36b04e7f17d194830b8dd8 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.