Package: libbddx-dev Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 381 Depends: libbddx0 (>= 2.14.5.0-1), libbddx0 (<< 2.14.5.0-1.1~) Filename: amd64/libbddx-dev_2.14.5.0-1_amd64.deb Size: 91072 MD5sum: 117e5aca2a732440e1a9bd7a110225e7 SHA1: 90dc9caa2cc6ba28f7c6f9cf4be5558a64131d08 SHA256: b034beb042bf7016f7a235087268abc7c41b44fdb446ac5e0239c5c60370ec76 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.5.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.5.0-1_amd64.deb Size: 67008 MD5sum: 6aec11e4d7bb827be4b15d99a096c21b SHA1: fdb1e371504687617fe6d60282df94f97bb48737 SHA256: 9bc43b56d63692c01772740b1bef45a078d7d40fc171be0398413151b56719c4 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 202 Depends: libbddx0 (= 2.14.5.0-1) Filename: amd64/libbddx0-dbgsym_2.14.5.0-1_amd64.deb Size: 177796 MD5sum: 2950c6a54d6f10870930e333a6f4c6a7 SHA1: 7a2240b99e0d244b808506c90ffe6189b350eda3 SHA256: e9d8aea09b7fd050da268132f3a69207d5bf750f477436c493567dc2485f3ec9 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: afd407fd9c324a53f67af51f09f7f12674c5862b Package: libspot-dev Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18004 Depends: libspot0 (>= 2.14.5.0-1), libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (>= 2.14.5.0-1), libspotltsmin0 (<< 2.14.5.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.14.5.0-1_amd64.deb Size: 3302244 MD5sum: 5706d1f19f474bd022fa8e78130f0d23 SHA1: 3c8ffba66f14d5d2ec588b760062d6caf52ae2ab SHA256: 2e0217bc80883f9ad63ce9070d98dc9b824ee0c83e241df7cdb91e5a379dc3e9 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4067 Depends: libbddx0 (>= 2.14.5.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14), libbddx0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.14.5.0-1_amd64.deb Size: 1850116 MD5sum: 1510ad11aaef41ed5212490d64f8aa8d SHA1: ebef70498df43b9d791012b80b946456216be0a5 SHA256: 62f4749543a22247d68f27cf031410ac15c19c902f9e7136d5b98240e51a0154 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 29319 Depends: libspot0 (= 2.14.5.0-1) Filename: amd64/libspot0-dbgsym_2.14.5.0-1_amd64.deb Size: 29014232 MD5sum: daddfe87e61c21eda875f808dff31815 SHA1: 0139960c06c2c02bc032786f6586dd3d941d54e7 SHA256: b064474ba094d2ed50dfb8d0f95d9e3d67eb7684cde8fcbab54496f1ed1d1096 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: a630bf1d0f5529672e8e2f6c11a0b68c38b7b9d8 Package: libspotgen0 Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 575 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.5.0-1_amd64.deb Size: 428052 MD5sum: be36cdb1eb6cf0f5a1f732e79247a265 SHA1: 37a42492baad935289dca0917bc9d1e3c0e56a37 SHA256: 1742f85efceec30dc25c716a474ffb46e850d6ce796eb7aadca6a9a4025f4cb8 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 677 Depends: libspotgen0 (= 2.14.5.0-1) Filename: amd64/libspotgen0-dbgsym_2.14.5.0-1_amd64.deb Size: 655016 MD5sum: 84e596059ba70981a77536d42ccd4714 SHA1: 2e72de0f86c959da196fd0f452eb7d68f83eaa02 SHA256: ce0f214453e66cf73e4d93236c38ff5fa71ccadc5c9b1015eaac9d16bad93a4c Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 7fb173aaefbef9a144a2420600e036ae0cd25a7c Package: libspotltsmin0 Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 423 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.5.4), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.5.0-1_amd64.deb Size: 372144 MD5sum: 2d1a295b942054e61684973dd380888d SHA1: fe95243df63fd7e7cd72af7ad92bf7c46f8987b0 SHA256: 5ebc7c0179d7dc4b3f6bf77493e737f895a33366f57761afce7dfcab92c44283 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 623 Depends: libspotltsmin0 (= 2.14.5.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.14.5.0-1_amd64.deb Size: 604532 MD5sum: b21087db5d0ea9eb1b3f5bef168a7549 SHA1: 0206c9e67291558fc635b848a51024dc3e084817 SHA256: 5ce636d9db642356ad16494aa8463af5d2e0f7e33bcf3566607e6557dbc51319 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: e3b00a2fddcaf4d5b31fe234ad16dccd19d7fa33 Package: python3-spot Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 32193 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0), libspotltsmin0 (>= 2.14.5.0-1), libstdc++6 (>= 13.1), python3 (<< 3.14), python3 (>= 3.13~), python3:any, libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (<< 2.14.5.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.14.5.0-1_amd64.deb Size: 2261392 MD5sum: 2a861ae42f748f3ee0292ec50e6ccbb3 SHA1: 89ccd403e67aac10ed241155cdf1726da07c2b98 SHA256: a699fcb1e02a6bd2d51d179de4ee6312594c85a749f94f2a1d61b7dfffafebdc 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 7616 Depends: python3-spot (= 2.14.5.0-1) Filename: amd64/python3-spot-dbgsym_2.14.5.0-1_amd64.deb Size: 7023404 MD5sum: 04d12cf4b62e57766fe69d6e40f4f0ea SHA1: ef686bc549aab35815ac90bdc3bc3b939f8abe29 SHA256: 1eccd2ed6b09de02b9b046c76e616c75c3b310f7eb458283e399b4072c824c69 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 263b97d1ddd2d11636c3c790c038825cd8025c7a 8bcdf5eb5f01821e41d84cccf3a37d049d97605b 8c27115a2f73f570beb986d1efb85d00310a4ffd ccf8bbdd0bed647308d9db16789594dad3565f3e Package: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3627 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0-1), libstdc++6 (>= 14), libspot0 (<< 2.14.5.0-1.1~), libspotgen0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.14.5.0-1_amd64.deb Size: 1167784 MD5sum: b6df8d1bfa83cbc2eb09bbb2a51c3369 SHA1: 06c31378a0f6c73fa3bb8c44c1bfa3a10dacf934 SHA256: 947acfe74c4edf67d7d2471a6ac756713444deea6446ebe602dae9c12fc0b174 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16399 Depends: spot (= 2.14.5.0-1) Filename: amd64/spot-dbgsym_2.14.5.0-1_amd64.deb Size: 15182844 MD5sum: 548fae9e4c23bb56d561564e9f3cc210 SHA1: 6239340a371bf9381b60b6b8d8d13d753b5fe49f SHA256: 6ec81047c4b29561b5c7652efced9039fb1127514358b7c792210b96c0a4f471 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 21d0fb5fb9e932e934a69c265a99918a317b7e9f 31e0b199129dbb4fcdeb660fc4a02314311252c8 33c73187d6c86940f2f4e80b36a5105ac43c5a1b 40a20b781e2548d14442ba8efbda376c65e0b6dd 48aa8ff6c9a740ad3813e1a58b7e9693553e312b 4bcc761b2a8eaf16517f685ba3b399d982a2de10 4e3c2d5e574a3074d119e7480b3ce8bc897a304d 5c29ab1a1fab00c219d63c356d471ef2c88a2c81 754c86b479ef1098389d4f19f74eb56735d8f781 7a2a04ac59d0180377e8f9bcdd1196f193bd5a02 7a851df16d22a1463713cbe7f624c93b61c224a6 957bbf5f22e63537ed0048af82371c3ef8c475a7 a8347ad0500634089398f61ebcbae1b1283b1f1b ad03216d4723412ceb1ac7f3d6c95d523cff1d6d ba80006e6113f4683033ff77706ae18683936303 dd508479b92f461e1ab27bbc936a17dcc31aa3e4 f5e01c696fe2e2c3d6d9989afe1702d309cac645 Package: spot-doc Source: spot Version: 2.14.5.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 35689 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.5.0-1_all.deb Size: 2534812 MD5sum: 759de12f4164581f1c3747e8d1de4c8c SHA1: 23c8a83a1e4eaa46347f759ac6b7d2e2ab16d962 SHA256: f8d0f68ee6bedde362882e67d884e2b113590c93d645b7e9025f8e1e37ae1892 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.