Package: libbddx-dev Source: spot Version: 2.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 401 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: 102334 MD5sum: 4162e855de81840c8e692fea982b4aa7 SHA1: 5207ae187d39f8edfc63f5452f93257f9465d563 SHA256: ed627243e27235eeeb7ea624845e71b70be809f1ae3fa7524737840a1dda0f59 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: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 179 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: 77136 MD5sum: a43a58286998f82c229705682a16545b SHA1: 44907b731e56c199f8bd95cc974964eb8c469bed SHA256: 01edf606dd9c1768bb40755ee316af0a132cf1bdfa097f5e60d42791b02a4126 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17885 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: 3382460 MD5sum: 4bd383acabeb612e151c661211c398b9 SHA1: a3a04c711a835d71c546ddd60e68a011fcf259c4 SHA256: 42ab96c03d9faf500e0a472d18473caead790b547df9777416e31d9a55227fc0 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: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4219 Depends: libbddx0 (>= 2.14.1.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), 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: 1966248 MD5sum: 359992c0558f42dd23e2b5116b6731a8 SHA1: 3dc131d3b55bc49eed5fdb3acd62e91ff7f5c027 SHA256: 01e6eb3fd6300096a3b1d6191d5174d09a97ee7ba2e374663769768ec7cb1082 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 595 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.1.0-1_amd64.deb Size: 435796 MD5sum: 269e208c7d7da1c3611c00e90b7d9d1d SHA1: e9647c9a9e510674411f68d99e6877aefd20b055 SHA256: 8ce0020ef3f90f6e3b633bb9c0880f994b505e47401824243c7b20c65b58bba6 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 423 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.14.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.1.0-1_amd64.deb Size: 371384 MD5sum: 21fac95b2a5ac4f98842270566da4e42 SHA1: 07fe4268f5032d1fcdea723c1ea0b325f6a2d536 SHA256: 9c1d031b8c8a25b2f0ae3e9b0e979cad5ec8ccf05959a216dd4cc207771c83cf 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 41458 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.1.0-1), libspotgen0 (>= 2.14.1.0), libspotltsmin0 (>= 2.14.1.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), 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: 2319264 MD5sum: 2123420b988f698f7933fb5ff05890b0 SHA1: f6496006dfb3e727056029080ba10b7dacec617f SHA256: 2abd6cd25e42379252bf059bdabd2f8a5735f6c4187c00fed2372fdd1c7c5cea 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3780 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.1.0-1), libspotgen0 (>= 2.14.1.0-1), libstdc++6 (>= 11), 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: 1229558 MD5sum: bda956ce34ea7bdf72398d6743746d44 SHA1: f69dc07b9b9533fc109ab2197d09a594f754b5f3 SHA256: 17385017f4e92d50196324f4aeb763a57f3999803007d14e51fb28ce881758d1 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.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 31423 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.1.0-1_all.deb Size: 2307302 MD5sum: 8e0b0535aa5bdb5795d00647100d55d5 SHA1: f53fb964a117a6e23d9121d8bc9ba4f22f02ff6d SHA256: 03f911cd392c4384e928766d3450d24fea09ac7f08b1f551d8170745a954535d Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.