Package: libbddx-dev
Source: spot
Version: 2.12.1.0-1
Architecture: i386
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 296
Depends: libbddx0 (>= 2.12.1.0-1), libbddx0 (<< 2.12.1.0-1.1~)
Filename: i386/libbddx-dev_2.12.1.0-1_i386.deb
Size: 82056
MD5sum: b1f525fc9a14fc830b737a0bea389999
SHA1: 5c9626aa76ae5a6102083f085642c9da1963f9f6
SHA256: 546a2c0ae40debc6b589b5a915ab1e8c9ccb70a47dbf46b9d7b4894524a96ec4
Section: libdevel
Priority: optional
Homepage: http://spot.lrde.epita.fr/
Description: headers for the BuDDy library
 C++ headers for the Buddy library.

Package: libbddx-dev
Source: spot
Version: 2.12.1.0-1
Architecture: amd64
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 334
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: 77752
MD5sum: 3b2cae53537e9ecd24103c569e37e958
SHA1: da3d52a0e5cba6018fc75f69406aca2f27b86989
SHA256: 9c174fcb532b88a9f129b5dbff9e0936fa8e46c1c51f854940eb4cb323c78bad
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: i386
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 140
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 4.3)
Recommends: graphviz
Suggests: libbddx-dev
Filename: i386/libbddx0_2.12.1.0-1_i386.deb
Size: 56728
MD5sum: 4b023070ffcfec594ac801599e554d3a
SHA1: adbe1a08d246b543bdc147f944814e956ee43b48
SHA256: e4a4ade5f1a5f638cd7d98379cc90a5b6d4096827d5830d7bc73885487e51e1a
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
Source: spot
Version: 2.12.1.0-1
Architecture: amd64
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 133
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 4.3)
Recommends: graphviz
Suggests: libbddx-dev
Filename: amd64/libbddx0_2.12.1.0-1_amd64.deb
Size: 54384
MD5sum: 21b400449d975984b39c2cd4ebf938b0
SHA1: 20b2a33cdee326d3cddcdc717316a841e1f4d300
SHA256: 98921e011c94bc3ae250cc51526b49c35a712b78bbf15aaecb93d0efd9ab8cf8
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.12.1.0-1
Auto-Built-Package: debug-symbols
Architecture: i386
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 148
Depends: libbddx0 (= 2.12.1.0-1)
Filename: i386/libbddx0-dbgsym_2.12.1.0-1_i386.deb
Size: 129556
MD5sum: d8fcb6eb412631bd349ca63c86ed1c9a
SHA1: 4c4abe40b8b67bab2e520a827cfd85fe8611b5c6
SHA256: dd67e64288282119ef0b35242d38eecccd1c419b0523fb5d2d8f07b4b6642689
Section: debug
Priority: optional
Description: debug symbols for libbddx0
Build-Ids: 7d038b2b443c1678f086d36814242e9b3a1838cc

Package: libbddx0-dbgsym
Source: spot
Version: 2.12.1.0-1
Auto-Built-Package: debug-symbols
Architecture: amd64
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 159
Depends: libbddx0 (= 2.12.1.0-1)
Filename: amd64/libbddx0-dbgsym_2.12.1.0-1_amd64.deb
Size: 136176
MD5sum: 84b1bcbaea7e9e542e241d09d4a59bab
SHA1: aafcf867fbc15f36c0ea34dbcf3750b5c82cb862
SHA256: f6338ea3a1db89a4035181ff761fd89f4bfffaf3bcd321a3898a700e15f10b71
Section: debug
Priority: optional
Description: debug symbols for libbddx0
Build-Ids: 34dbb7140b69f789cca732a44ff9ff0c655daaf2

Package: libspot-dev
Source: spot
Version: 2.12.1.0-1
Architecture: i386
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 14131
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: i386/libspot-dev_2.12.1.0-1_i386.deb
Size: 3058852
MD5sum: a3d58678ec4862cf866bba26f5f2b47e
SHA1: 084ba3f71e442dd6e830890c5626fc2bb6d34f42
SHA256: 23d25bc58f3506191c45a74eceaf695452148a640ed4204db5a923b59aeaf871
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: libspot-dev
Source: spot
Version: 2.12.1.0-1
Architecture: amd64
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 16468
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: 2900560
MD5sum: aece888723b4693d5c422b542280a857
SHA1: dff8179ef6e31723c93d03e3fb2a210038515683
SHA256: b8ca24b0e25b0824287bc0ae287806f4e37aa88093048b0eae428fe2a118f009
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: i386
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 3897
Depends: libbddx0 (>= 2.12.1.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.12.1.0-1.1~)
Recommends: graphviz
Suggests: libspot-dev, spot-doc, python3-spot
Filename: i386/libspot0_2.12.1.0-1_i386.deb
Size: 1813820
MD5sum: bb8a1d5119afbd0843444f8631edd20c
SHA1: be5b91d4ec25e7ee33491c7ba65ad55b731140ff
SHA256: 7f5582252f3e0290150c2181eb75fde3b43585c47457d4e9610322b1b6600f27
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
Source: spot
Version: 2.12.1.0-1
Architecture: amd64
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 3780
Depends: libbddx0 (>= 2.12.1.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), 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: 1711584
MD5sum: 0c7f2a764602cd1af93177e469dd2ce6
SHA1: a18f06c11040c1c080ad9bde882050f267fe1f1d
SHA256: 77402cd8b7bbc1a25a4d634ae1e70bc59f5ea644046ec8c6f9015ca59f1ea113
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.12.1.0-1
Auto-Built-Package: debug-symbols
Architecture: i386
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 26667
Depends: libspot0 (= 2.12.1.0-1)
Filename: i386/libspot0-dbgsym_2.12.1.0-1_i386.deb
Size: 26400756
MD5sum: 9dbc908c6f0fe51ca44f7ddf9b249062
SHA1: 65431c0bfa4aa63bfa08e50a221294148ba0b202
SHA256: 6d86e63038081bfecaffd97fabbd95945448f75a0b8163719a2b5d71e17580f6
Section: debug
Priority: optional
Description: debug symbols for libspot0
Build-Ids: ad7a702adcf80df27f589307d248a726e6d63a44

Package: libspot0-dbgsym
Source: spot
Version: 2.12.1.0-1
Auto-Built-Package: debug-symbols
Architecture: amd64
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 27231
Depends: libspot0 (= 2.12.1.0-1)
Filename: amd64/libspot0-dbgsym_2.12.1.0-1_amd64.deb
Size: 26923204
MD5sum: 9ff186c61b7b8e500e55cd0ab3ef9bb9
SHA1: f9f5f2d62d4840ab0fd146817bbf86ae4d1f533f
SHA256: 5541581141ab207ec7ec4e0d7837be2ce60229f0bf0d0822a7c9c2ca97097ee7
Section: debug
Priority: optional
Description: debug symbols for libspot0
Build-Ids: 16be2afdf20c4534c853b5cd0617682f95be588b

Package: libspotgen0
Source: spot
Version: 2.12.1.0-1
Architecture: i386
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 531
Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~)
Suggests: libspot-dev
Filename: i386/libspotgen0_2.12.1.0-1_i386.deb
Size: 402008
MD5sum: 84b3a526844d8a1bfb4599cbed62b38e
SHA1: cb1440a0dc856e19a20104cb0d9c3523a2d24982
SHA256: 323138e236b687b4ed688764676870ab6dff5b9b5bdc7d1ed9c3af16096756bf
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
Source: spot
Version: 2.12.1.0-1
Architecture: amd64
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 536
Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~)
Suggests: libspot-dev
Filename: amd64/libspotgen0_2.12.1.0-1_amd64.deb
Size: 399116
MD5sum: a5b38731e4be07932d68f2bec3164f3f
SHA1: 58f1993717ce1a43144ff54d21b3de1c5dab7bc4
SHA256: ff962dda4030bf89c517510d7b835011229f69c1af10cdc3cee1ba9954bfd958
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.12.1.0-1
Auto-Built-Package: debug-symbols
Architecture: i386
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 668
Depends: libspotgen0 (= 2.12.1.0-1)
Filename: i386/libspotgen0-dbgsym_2.12.1.0-1_i386.deb
Size: 647880
MD5sum: ce7202c9cc35d0800013a25b4b2ab59e
SHA1: bca4f52778fed82812ad5b4d0b2428e3caebb9c1
SHA256: 88963cf6dfd878c32d5eb5ec014171c8d595ec853028abf566e5d51b75fb1a75
Section: debug
Priority: optional
Description: debug symbols for libspotgen0
Build-Ids: 0e183bced335a7a8011d6788ae55559d6c9e3988

Package: libspotgen0-dbgsym
Source: spot
Version: 2.12.1.0-1
Auto-Built-Package: debug-symbols
Architecture: amd64
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 686
Depends: libspotgen0 (= 2.12.1.0-1)
Filename: amd64/libspotgen0-dbgsym_2.12.1.0-1_amd64.deb
Size: 661836
MD5sum: 31188fcbd5f7e89634657cb2958397fc
SHA1: 47664e8ab0eacc02fc434f76de551e957279eebd
SHA256: ea552706c2180e1309cd70e34f04f51b644f2bff2c01f7322485c79ce5069d71
Section: debug
Priority: optional
Description: debug symbols for libspotgen0
Build-Ids: 7abec922da35ebeeafbca7449955d1f131f6031f

Package: libspotltsmin0
Source: spot
Version: 2.12.1.0-1
Architecture: i386
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 407
Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~)
Suggests: libspot-dev
Filename: i386/libspotltsmin0_2.12.1.0-1_i386.deb
Size: 357132
MD5sum: e9f10855c6ac197a382564ddbbaa0959
SHA1: 6858608e5287addcc98b70d3af95cb4605d24a56
SHA256: fd137c7a4b516badf15262db3164eacebf5cd328337845ec9b78507ff1c85512
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
Source: spot
Version: 2.12.1.0-1
Architecture: amd64
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 408
Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~)
Suggests: libspot-dev
Filename: amd64/libspotltsmin0_2.12.1.0-1_amd64.deb
Size: 355036
MD5sum: beac44e8796fb7822a4d5c601487fc39
SHA1: 0c9469e98cf757b97823801d681f7d0541f8dce1
SHA256: 6554d715462df821f99f99d74ea5ba30e9a8c01ccb1b5253a27a2f1a27da5cc6
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.12.1.0-1
Auto-Built-Package: debug-symbols
Architecture: i386
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 636
Depends: libspotltsmin0 (= 2.12.1.0-1)
Filename: i386/libspotltsmin0-dbgsym_2.12.1.0-1_i386.deb
Size: 620020
MD5sum: bc8214aa0133658e05bd318e008c468c
SHA1: 52f916ef0931b4c3d98bf6f4352e12cd017489c9
SHA256: e7566ec0319521efb2bdc822ed12bf4f446f3facd95684259caf50bc3cf37a90
Section: debug
Priority: optional
Description: debug symbols for libspotltsmin0
Build-Ids: 4ac41d0b23e9713ee34454c2c0cfeca4a3cc3063

Package: libspotltsmin0-dbgsym
Source: spot
Version: 2.12.1.0-1
Auto-Built-Package: debug-symbols
Architecture: amd64
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 644
Depends: libspotltsmin0 (= 2.12.1.0-1)
Filename: amd64/libspotltsmin0-dbgsym_2.12.1.0-1_amd64.deb
Size: 624980
MD5sum: 071e796d47e76e859f386dbdee60f8a0
SHA1: 2e2165c52eed0d1526d051328a5c3b7d1b0e5d9b
SHA256: 1e0de48b830f3eb60afeab24c77ced10e80c3c9eda0cde55a3671eb025c3e564
Section: debug
Priority: optional
Description: debug symbols for libspotltsmin0
Build-Ids: 314dffdd3eb96fc22080f829c1f8a8d55fd50c88

Package: python3-spot
Source: spot
Version: 2.12.1.0-1
Architecture: i386
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 15966
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 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.12.1.0-1.1~), libspotltsmin0 (<< 2.12.1.0-1.1~)
Suggests: ipython3
Filename: i386/python3-spot_2.12.1.0-1_i386.deb
Size: 1696028
MD5sum: f083aa29b1d5b0d7bd58d25165e164bb
SHA1: faf6254259ad18c9ae3f690c35f73c540a9f377e
SHA256: cb15ba2c1fb0bfd177baea9059ca6b2610de1c6fc6abccb3b82d668dd9e11caf
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
Source: spot
Version: 2.12.1.0-1
Architecture: amd64
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 16229
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 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), 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: 1691076
MD5sum: 7a457678388a166d3f1f8f7f7c6616c7
SHA1: 3bfa1446f15602c2a50e73295834d8d059bc56c0
SHA256: 1020fcdcb56ed4f99be5ae03733aac06e65454db44d494a17c9b62ae73330e08
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.12.1.0-1
Auto-Built-Package: debug-symbols
Architecture: i386
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 6524
Depends: python3-spot (= 2.12.1.0-1)
Filename: i386/python3-spot-dbgsym_2.12.1.0-1_i386.deb
Size: 6047364
MD5sum: 1b6946d10a98bfa990c249503e896d7e
SHA1: 2163cfd23bd39481111655443ab3bbd730523529
SHA256: a5ecaaea83b4d72f08e22af4beed2c518e18f19db7511054df7bf3562566ccf1
Section: debug
Priority: optional
Description: debug symbols for python3-spot
Build-Ids: 5eb08e414f408e5f23cc1ecc0b3067ff44b42a4a 6e983c10392c91f62a9c976517197483e50a9c73 d4a68071e1b929bff75babcc1bc228dd5307241b ed9bb988856a2c8abf135d1bd65d5a77de1805bc

Package: python3-spot-dbgsym
Source: spot
Version: 2.12.1.0-1
Auto-Built-Package: debug-symbols
Architecture: amd64
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 6809
Depends: python3-spot (= 2.12.1.0-1)
Filename: amd64/python3-spot-dbgsym_2.12.1.0-1_amd64.deb
Size: 6260684
MD5sum: 7a1567e3373823f255834b5f7c12cd6e
SHA1: c22726b34d68e081441ba88c44f803eb1c5adc76
SHA256: 703edef0694488b06e112f1a586eae1ac785e822646c2a7fb1c9b4b92a8c7df3
Section: debug
Priority: optional
Description: debug symbols for python3-spot
Build-Ids: 32cbc6f986f0cda0f849ffa093ee4d6603e37264 4c446c23d7ab64efcc284ef8f518401c9c535a5c 948413af86e536441dccc7e8d75980a3f87c2c87 d5d28d222407338e48a1be1e9a83b0465c7dffe4

Package: spot
Version: 2.12.1.0-1
Architecture: i386
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 2742
Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.34), libgcc-s1 (>= 4.2), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~), libspotgen0 (<< 2.12.1.0-1.1~)
Recommends: graphviz
Suggests: libspot-dev, spot-doc, python3-spot
Filename: i386/spot_2.12.1.0-1_i386.deb
Size: 1015992
MD5sum: 2230ca3a7035b725fc890d29e68c74e3
SHA1: ae03bdcb993e7dd2c92c59bf8ec9b95ec44c0944
SHA256: 5f93369d89860722cac1404246d2dc66121e7cb607e888be441b3ed54f426cd8
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
Version: 2.12.1.0-1
Architecture: amd64
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 2824
Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0-1), libstdc++6 (>= 11), 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: 999152
MD5sum: c61e0b2dc85d901454afe045a2265b89
SHA1: c17433d825b7108128ee9d5bb561f9f6d065b370
SHA256: 24d7287ab6bf51c982af9c90a2e642142f033f4ff93c93487b3b574b0ab03ba2
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.12.1.0-1
Auto-Built-Package: debug-symbols
Architecture: i386
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 11757
Depends: spot (= 2.12.1.0-1)
Filename: i386/spot-dbgsym_2.12.1.0-1_i386.deb
Size: 11386956
MD5sum: a0ea3e3c05208f85fbbccb80c2227540
SHA1: 00e2f19c7ae7415ada0107a6bdd4ba866c08331a
SHA256: 1c3538e76eb7348513633ec179bfe7002707717747e0b2a216cbb4e4f20326df
Section: debug
Priority: optional
Description: debug symbols for spot
Build-Ids: 0d73428a7079f03f7acb082b3ab9705619d890e3 2ee22a38f81087b01a293458ad0c0433dc534e17 3793a8d52890e5f0587e98e66e005725f4ca1b7b 3b6ca5061709f8ab8055b7dda02c41a0ee9ae675 583085a2d48498220a70ebe76c836886d87f61cd 90f111d74807355e6c6f534002999ab5989b04f2 939456e06054d62b6e5e154a0b00e6db5dbffe4c af9db2bc660d418f832a44136300ca3eccfb558c cdeee319e0fc6ffb172c175d60ab0532ca27e881 cffe29dde33cbf6e01c45db5968bb31e4f97dcd5 d40d3ea0a0655185ed3d2808adecef7c5bc9a3b5 e9838c893d8cd4ea9fdcf819aa368414e075fce4 f5faaeca803f47a1f7a813142aa5e572f8698588 ffbf7f270bb156ac7a4d0782570a149450da85a1

Package: spot-dbgsym
Source: spot
Version: 2.12.1.0-1
Auto-Built-Package: debug-symbols
Architecture: amd64
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 11982
Depends: spot (= 2.12.1.0-1)
Filename: amd64/spot-dbgsym_2.12.1.0-1_amd64.deb
Size: 11531776
MD5sum: fa8b6516d862075c26ad2adbb1e71dc4
SHA1: aad435f6ed999dbac4cab98a9165d0be5bdb7a00
SHA256: 92c9a6f333ce9424cb5f74fed8ee8fe52456cd226430cdff1f7e0caf6d805af2
Section: debug
Priority: optional
Description: debug symbols for spot
Build-Ids: 18d0f0d76766a4f34e905c869efffe1b388e222a 1bb900a1f8cef72b906cd50b19ac3921113c0252 3c446b35d5a0d81683587fa90a2caffd1aaca800 5260ccb5b38d7812ef6004c9ee8c775c9bde3178 6156ba2476e3688ec1ad646f783237521fc6c35d 99998b7b7fa3fb6ecf38c29507209362d853802a 9b00f22caedbf78c865a99c8dd8278be181fe259 a457de49cc50fe3942246d1d2e1ac9689b454ffa cc76804520e398be19af0090723495b059da4abd d119d4db7c69ec1fbe9866ab32957d50592173cb da7591734e0236b64edcd824fcb65844b675c5ea db34147b34ed1f787b82368fc1c6d6e010467fd9 e05703445b8467bda3570e7507572d45d8e1c8a1 fe70cb212101642a3aacbc482bc4c00bbe329199

Package: spot-doc
Source: spot
Version: 2.12.1.0-1
Architecture: all
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Installed-Size: 30048
Depends: libjs-mathjax, libjs-jquery, libjs-requirejs
Filename: all/spot-doc_2.12.1.0-1_all.deb
Size: 2251072
MD5sum: 9ec66e2222b0259dc68d2fb3dede85bd
SHA1: 413743a8b71000a6945c625dfba549040efb4d40
SHA256: 2a600181abc554da61996f444c9684f38222dfd0e39dcea002230fe64af9246b
Section: doc
Priority: optional
Homepage: http://spot.lrde.epita.fr/
Description: documentation for Spot
 HTML and PDF documentation for Spot.