Package: libbddx-dev Source: spot Version: 2.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 332 Depends: libbddx0 (>= 2.12.1.0-1), libbddx0 (<< 2.12.1.0-1.1~) Filename: amd64/libbddx-dev_2.12.1.0-1_amd64.deb Size: 83916 MD5sum: 147311b966325c1097b95a9049279150 SHA1: f7993d6e6431296fc2b4357ca9dff7aa2f1e733c SHA256: 1bbabde3663efda8234ce5671c269826e0e821486a3f2891d642cd35ab059c4b 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.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 133 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.12.1.0-1_amd64.deb Size: 56206 MD5sum: a5b858c3508a19922f8dc2198b685fe5 SHA1: a78f5d9ecd5f3a0000af56df2e155322e76ac3d2 SHA256: 1c1e35df5f69b0f3d1204d337c783039c86089c714e274a25d7a28af38b28dfd 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: libspot-dev Source: spot Version: 2.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16702 Depends: libspot0 (>= 2.12.1.0-1), libspot0 (<< 2.12.1.0-1.1~), libspotltsmin0 (>= 2.12.1.0-1), libspotltsmin0 (<< 2.12.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.12.1.0-1_amd64.deb Size: 3182788 MD5sum: 47bbed6cd26595c12c676919df0c0643 SHA1: 8d35553d7140a6522e6f1e1b79e03701154059fe SHA256: 1674c0f8a5dc1aecbdc1b0cae6e572353dab8f1747f66eb5f2dae4488153a46e 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.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3832 Depends: libbddx0 (>= 2.12.1.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 13.1), libbddx0 (<< 2.12.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.12.1.0-1_amd64.deb Size: 1808246 MD5sum: 3ba372c8248efe847a55b9a2fca6623c SHA1: 783326144b2015d5ab4f379b7d4b3ff376fc0002 SHA256: d41032cb13ca49775052fb9062c99cac711ca27755092ef80ca2579eb80a1090 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: libspotgen0 Source: spot Version: 2.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 532 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.12.1.0-1_amd64.deb Size: 401524 MD5sum: e1f5aad8aca3a9eabff5f2a536b04105 SHA1: 61348383e42a352af3f81b6801172eb58f44fe1c SHA256: 75454c0058ffd5ea3453bbc90444ff3ee74994b8e195af4401b651a1a500caa5 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: libspotltsmin0 Source: spot Version: 2.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 408 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.12.1.0-1_amd64.deb Size: 355684 MD5sum: cb378db77bde2386dac0a1c32c1c8b3d SHA1: 0a97cb99fc72752fcae06ff4ec295e6fce5ef431 SHA256: bdfdb049b6e4d71f8268baeb59ea8938f18460d1e8a923a3b92b15806d75ec83 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: python3-spot Source: spot Version: 2.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16421 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0), libspotltsmin0 (>= 2.12.1.0-1), libstdc++6 (>= 13.1), python3 (<< 3.13), python3 (>= 3.12~), python3:any, libspot0 (<< 2.12.1.0-1.1~), libspotltsmin0 (<< 2.12.1.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.12.1.0-1_amd64.deb Size: 1782002 MD5sum: af28f16e37daa37f0548759adc897f92 SHA1: 329ad14993ea368fa5f2a207e18460d9eb691453 SHA256: a3c8e10e9bd3b2500d10663ce21cdf1b86b92bcad191492df271761c67e51789 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: spot Version: 2.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 2898 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.12.1.0-1.1~), libspotgen0 (<< 2.12.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.12.1.0-1_amd64.deb Size: 1040832 MD5sum: c3ff49eaed09b11f07f2d15fa7b000fa SHA1: dd646666f1acf4bbaa7831c0bc54e744f54004c7 SHA256: 13917f5a18840eb903432d705e156ba084c978638340138f225a4f8dedb927bf 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-doc Source: spot Version: 2.12.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 33695 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.12.1.0-1_all.deb Size: 2322046 MD5sum: b402350eabe72c7c5fac17b8094862aa SHA1: 71d590504c65356589363a8f8d23cef5685152d4 SHA256: dcab3ec90d2b05d3682332ca4b4b9f31ccc3c830d4f27b45473bc76a5b34a8d9 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.