Package: libbddx-dev Source: spot Version: 2.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 382 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: 99174 MD5sum: d5c2fa3bb2657e77bd9915b468432f66 SHA1: 5f5990f1a94961a2fe1087a2f848c26565d1dc8d SHA256: 9aad6e9ff6d4423cddd33c9d015b33c8819dcf91910d985e10afd361ec0607cc 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: 71456 MD5sum: 966a23347126d2d6b91d1e84d05389b6 SHA1: acc37e4b75aab454c1f2282b60399444d5cbd6b0 SHA256: d11053195f795bea9bfde68e14b0f6107807f20a5007494152e0617897994c6e 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.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18037 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: 3545580 MD5sum: fb08514bd1246ebcdc9678910780a038 SHA1: 6ef0b37aa7a35c28a27bd377707ef79a5a73e7ab SHA256: 477ef9fdb6530eec24224cf80d9027d3d9b3722b49675104b0111aa18a7621fe 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: 4270 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: 1993668 MD5sum: b44ce5bcdc6b2728fb0892a48036065d SHA1: b6288568201f8db9367c582f24668c32cf51ec5a SHA256: faedcd5c89c07e854d3fcf1fbf888bda7bf81745941ea13e5f152bd28aa4e4ba 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.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 586 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: 435784 MD5sum: b4afc5404427e717161b9c80294c6460 SHA1: 6a15274ddd031fdc272b52a83df097662b7aa748 SHA256: d09ab5d249f186369c12254f425aa47bbf56a7d2ac4886542e8e0174407202a3 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.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 426 Depends: libbddx0 (>= 2.14.4.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), 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: 373628 MD5sum: 329829d169f86e628d5e50d961b48cb2 SHA1: 95578ad1b21ea31ccdf7e80c63df81925e578c3f SHA256: 305b434cb77f7dfedda098347176a5217f463db5e162cc13a1682dd456491a5b 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.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 41938 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.13), python3 (>= 3.12~), 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: 2331060 MD5sum: a718e50f259a6d471ab69ae4e676de5a SHA1: e41491b41b9e77b55ede60eacc1dfa8e371c3313 SHA256: fb38466e023daff25d5fb620fc2a5012d59bb0dc0adcf5cc761c56dd41876099 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.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3808 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: 1237820 MD5sum: 5d4dfd2eb82abcb923fdf1ff06207e13 SHA1: 3d8065dd811353d357dcceafcb71e49323b1f353 SHA256: e97bfa4c24aa8140ae12167b44293b99e020f00a95b81eaac29619d1bfaf18a7 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.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: 2454526 MD5sum: ebda1dc621e2000e29d51c96871e3968 SHA1: 5ba2cb4532a14882fc8ec4b7bdd97d706204ad02 SHA256: 7ae94b7fdb4bdaabab49021e23b893a4576aeae4573f10f8d040211c7401ff45 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.