Package: libbddx-dev Source: spot Version: 2.14.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 352 Depends: libbddx0 (>= 2.14.1.0-1), libbddx0 (<< 2.14.1.0-1.1~) Filename: i386/libbddx-dev_2.14.1.0-1_i386.deb Size: 99984 MD5sum: dbdddcbfd196cb94984fd4e095db7b4f SHA1: be1ab972ee0efb14b1958cb5313d4d9b18efc384 SHA256: 4612f71a546e7f854067a6b206fa3848e221d015f041ba86aa7926f29622d631 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.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 398 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: 93952 MD5sum: 39c8e2c6a196689d1c09cd1b395c58e0 SHA1: f1349f5535b801302ce81d6a27a9fa9314fa9619 SHA256: c05232aac1726a50973d287f3a64680396fcc2149e519f5b243df22b36411f85 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: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 182 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: i386/libbddx0_2.14.1.0-1_i386.deb Size: 73056 MD5sum: 5ed956356bf6cab50bde19c5366b976f SHA1: b4d131a3f117b5ef4b23cf3efe06615207b6caad SHA256: b612d781c4a026076f324bb25c63bca5bceba50fe30b9189d5a1fc98ae7c5773 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.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 175 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: 71992 MD5sum: 5c84cb01de4494aa19a2e802db537846 SHA1: a7b705b1b4ae34e17bff5955c01c68c68bc4ef91 SHA256: 5655f5e6673011200ac508f52e771339b8c24b4ce118c8bede65bd7729e6be88 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 206 Depends: libbddx0 (= 2.14.1.0-1) Filename: i386/libbddx0-dbgsym_2.14.1.0-1_i386.deb Size: 187340 MD5sum: 5ff4e3603fb954c4660afca388e70937 SHA1: ebfd41c97956ed34f978cce55b4c9db51e9dde7b SHA256: 0e948b48388f709e5b8f7c0f4703bafbb812c26a7b7e06ca37be5235c798fd86 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: c4281b9208277f6bcd5490f3fb0e82a251f31a13 Package: libbddx0-dbgsym Source: spot Version: 2.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 217 Depends: libbddx0 (= 2.14.1.0-1) Filename: amd64/libbddx0-dbgsym_2.14.1.0-1_amd64.deb Size: 193148 MD5sum: a1941a43697a10185ba157cf688a690b SHA1: deca4c125f8663f22865053e9c0bc17a2c8ed3b6 SHA256: 589bcb8e6c20b17f931ef5c6f80b5ad86b6c5ef7a74c8b4b72e2106da789bcb8 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: a8ffe4c7584a025fbbfaf8de63e2dc180ca75dfe Package: libspot-dev Source: spot Version: 2.14.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 15214 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: i386/libspot-dev_2.14.1.0-1_i386.deb Size: 3299272 MD5sum: 4e282c3b4b24fd53aa3b047f2524441c SHA1: 760db121138bfb4156a85aaa64cf1236d346634c SHA256: c14692dfc2c3b5dcb0a94497d73a1b4e3c438f171ea1f4d2b89422e2394a6461 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.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17767 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: 3133040 MD5sum: 425b0eb1b4534f38170cf7c3162fc2d4 SHA1: c63b6a1baa53ce0abfe830a9976717d43fa73114 SHA256: 36106a22dde54147621fcf9d4ab2451a120ff209a1c40fb092b8daf716e67913 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: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 4204 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: i386/libspot0_2.14.1.0-1_i386.deb Size: 1950268 MD5sum: bc32f81ded29a982b013413b98bcbc54 SHA1: feaf122dc0fa7489a163e53091c87fb197cc2d8d SHA256: 1dd9e41b8961be523e2e6c32bad83204abffe22bf74059b2c5e1a579236dc976 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.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4083 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: 1840656 MD5sum: d9ac31e7d19960001e26df67081264fc SHA1: 3f07f6ca0c06a5fb2e92c91d950d7110a5e70c00 SHA256: e2b38cc012331c6691ab5e6bc69f5ca34493df12890f3da6ef60efeb1bdd9c97 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 28706 Depends: libspot0 (= 2.14.1.0-1) Filename: i386/libspot0-dbgsym_2.14.1.0-1_i386.deb Size: 28418636 MD5sum: 415cdde41cc22dd2c31321377af73984 SHA1: feac4fe47368e270f66eda09b47f5e1724e32474 SHA256: 16e919cc2c75e3225fa2e29fbc07078bb4439bf9ded6118b90308779195e0ae3 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 760e2156cbd776daa25d3c545dc6e63702e2743a Package: libspot0-dbgsym Source: spot Version: 2.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 29287 Depends: libspot0 (= 2.14.1.0-1) Filename: amd64/libspot0-dbgsym_2.14.1.0-1_amd64.deb Size: 28956732 MD5sum: 6c1059bd8a2d81150f4df3a816566007 SHA1: 31cde4a452f113cc32c9611610c98d24e506edec SHA256: d95d75ae21bd1d17071e6674b1725dd9051fc7b37c5a681ace4e313f6ca05123 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: b1aa5fb2592b4e4fe63b03af13d554c462e3801e Package: libspotgen0 Source: spot Version: 2.14.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 582 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: i386/libspotgen0_2.14.1.0-1_i386.deb Size: 430776 MD5sum: 3ad338eb10581494a56d62ad62f69c78 SHA1: a433810a6091b1a474fe309b09d88084f990dc6d SHA256: 73998711fb3659b9b90eb649fa9336a2f48698036e47169fdab71694140025f0 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.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 583 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: 427996 MD5sum: 906788e1790cf622a0f524b9aa4cd572 SHA1: 0a5864b243e49e0d5d964f69cff73c354be4bab5 SHA256: e5f1b25add2acfc1fa4ee3d6f84320f863aba0394dc4c35344ed2f73d0d074e3 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 750 Depends: libspotgen0 (= 2.14.1.0-1) Filename: i386/libspotgen0-dbgsym_2.14.1.0-1_i386.deb Size: 730560 MD5sum: eb22164b0c10259ecc93370c8ba1df04 SHA1: e9b7b653192295606e127b5be6a93aa85ec0de78 SHA256: e8936ceb1f97ecae8ed7a0eb2ffeb6ed6b9bbb7c1be2ac2e951968dc4ccd4faf Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: fd7a27bbb6d244df73082fadeeb1d00e9fc3fd22 Package: libspotgen0-dbgsym Source: spot Version: 2.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 771 Depends: libspotgen0 (= 2.14.1.0-1) Filename: amd64/libspotgen0-dbgsym_2.14.1.0-1_amd64.deb Size: 746652 MD5sum: 0b8abb82d5028ea29749cc0b20dcc120 SHA1: a83431e2e1e66289ba93a2e6ac3d932d038175a8 SHA256: eac046250963c4051ec40c1e714f4ae373ec1a3040e4649ea48bf18a7af98987 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 9c30f6f19400f3bcef1968dc997a7f1c21c40590 Package: libspotltsmin0 Source: spot Version: 2.14.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 422 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: i386/libspotltsmin0_2.14.1.0-1_i386.deb Size: 371676 MD5sum: 8d2249511960de3cbb89a479b38de892 SHA1: 7bccd70d8220c4a9297db2e725c1e5772e6e7201 SHA256: 4ab5f6fb38cbb783526df1198adc44ecfa6b04ec61bfe4a067e23f11d234519c 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.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: 369580 MD5sum: 582ad4e56b345a07782ed08b69d60407 SHA1: a50eeb9539ddad776c23ed8ec725a1d90e84633d SHA256: 3d79e204d847af7ea4b7beb8f1345dd2155377d62e04672bf34db27d4c0e0d4d 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 631 Depends: libspotltsmin0 (= 2.14.1.0-1) Filename: i386/libspotltsmin0-dbgsym_2.14.1.0-1_i386.deb Size: 615764 MD5sum: d3e3049aa1f0f0e11eaea23d00dbb387 SHA1: e1a71b2ebe832fdfa64e9afa3b546fc3347b8fc1 SHA256: afb0c0b11247e534937d48015357db52da8e868c233c19fcfa8cf29c30b19acd Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 6e0d7915ac6ff1dce9497e9efe1148fcd74bcfe3 Package: libspotltsmin0-dbgsym Source: spot Version: 2.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 640 Depends: libspotltsmin0 (= 2.14.1.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.14.1.0-1_amd64.deb Size: 620692 MD5sum: 163b209979f2d798767b68b0b4b68858 SHA1: bf69f916c729be9b302484dc5acc0e64f83dd1dd SHA256: c1b1a93e6461c3d178653773bd844874dfdff4768d4b42b676e4fc36ce962da3 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 13ffec514a3ddc90000c286e26bc8f02d14ca6ad Package: python3-spot Source: spot Version: 2.14.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 40951 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: i386/python3-spot_2.14.1.0-1_i386.deb Size: 2301056 MD5sum: c7407483566c8b1c5a44fe50c1f2b5e8 SHA1: 202a93f775c62ca80598459d39d97d59a9689dc3 SHA256: 953733230ba0b6afc10cb015eb1a73562b059715d0ba80c52e407771835a4398 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.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 41240 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: 2306704 MD5sum: 53a308e524d1e1c32f57639946f00d90 SHA1: 9b232b0b311cbdf633c76ad0531a4b4fd7ffcb77 SHA256: d8bd83e67be7f2016b045f2e84dfbca1ce963d506cfac40a3074cd3ccbc4c61e 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 7245 Depends: python3-spot (= 2.14.1.0-1) Filename: i386/python3-spot-dbgsym_2.14.1.0-1_i386.deb Size: 6710776 MD5sum: 13f24329cebe316cabd734503ada3f7d SHA1: 15ae2df735aeae619b2d9c2735f1f29990c76947 SHA256: 5b19a73c4eedcfedf2522a09a7a5fb3c292e8b73bb4d8ac836ee4a0008e43931 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 4f5a3e3e5127b90547d07d68e2d820043b3581ad 8d8f632584e7a22495bbdda83ceb27a7b1ba2e59 c30defc37cacb6c93126c773dfdcdda8228a982b d4c62d1b24515c7183459757d34776651b699791 Package: python3-spot-dbgsym Source: spot Version: 2.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 7555 Depends: python3-spot (= 2.14.1.0-1) Filename: amd64/python3-spot-dbgsym_2.14.1.0-1_amd64.deb Size: 6942912 MD5sum: dd503f2c0f8c8287ae85a38dbc18ebb4 SHA1: e5620662a3f689d678afc4c239be9d9ea3d6c7f5 SHA256: d8cacae8a44cd164a19cbf8fe7d6a5f3ee4e7bf48c46b2c0a1582af2e267212b Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 2d57edd1323e0668e7f486f8a59f6195149a6117 63494eaad576a8725bd2e1b2a4f2a51a211703ab 88fbc837ce01b35413cce6138758ea973b16639d b0d20ea526da84c1d1310c775398dc82ba2e4283 Package: spot Version: 2.14.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 3569 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.34), libgcc-s1 (>= 4.2), 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: i386/spot_2.14.1.0-1_i386.deb Size: 1197920 MD5sum: d2a17dff15bd67253f871b47bbededb4 SHA1: e51fb6026b393868ff69471873e0631524953afb SHA256: dcd1cb2dcee13f68070960bfee9c40e30ee740ed24fd4e2d97498d05b3e16254 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.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3657 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: 1169336 MD5sum: 56289ed74974e27310c034e5c332e719 SHA1: e7ad464822012655eae97b7435addd0d5cb87ce9 SHA256: 64c982af9975336d3ecc2c7ac2f1daf33de8d14ff734faf8fca72852a18acbea 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 15608 Depends: spot (= 2.14.1.0-1) Filename: i386/spot-dbgsym_2.14.1.0-1_i386.deb Size: 15067900 MD5sum: 62243981d11d0ec2306cfdc880542cad SHA1: 0eb57ff5d46454ad65ea3125125a5ca9a1cc5661 SHA256: 9d09745511aa69f9361bf8e8e1f10abaf5167e2f159ab70ab1ea353c9cd090ff Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 07209f92e62b923b88df8f9cd10cc1a80242ec7e 07f8de8fc2432477f472fc3c6cd073e9b9583728 134c8f5b6a4952b6f07c08f275a2cd130b1b4bed 2bd5ac9ef0fda9df803fd335acdf3338f1848af1 2f826a727b3b5f4a86aeb8c3ea255bb916852bcd 48b9fa1376905a402674477dd0fb9533cc65a734 50cf58ec1fcb0fc6fa83b4da7320cb7309c00c5e 5d1ef7042652c98fec91d2d224d7e8268f6559c5 5f76e4e37b7cb690e4fd368d46f22630743d223f 8846dca2053dfd37b14723ea6c3341f94550861a 8aa99c46650954b1b7586903ffdc49e5f5f69a87 919a515557f47fc32aca7e9436d2c272b78ead28 af0f49ad807e311dfa23478e97212aa06d377262 ca32b9dc664f893068430a94396ded958bc6c804 cd5ef9dbd16e0ef33e5f1c4493266099b657e531 cf650bebc291adcc34ab51f2231246dbde34ec91 d019aad02e86b47db4c28e81bae911c95f45ee96 Package: spot-dbgsym Source: spot Version: 2.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 15935 Depends: spot (= 2.14.1.0-1) Filename: amd64/spot-dbgsym_2.14.1.0-1_amd64.deb Size: 15267592 MD5sum: a18357f7f7b2bcd906c95f94bacf9710 SHA1: 9dccd7f588d9f58e98081125f8fd69c89260d885 SHA256: 6eaf1f02d28e64b860f05b9f07cc1a17f355047e48e9b87a7540cb1c5a0688a6 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 20cd4e1a05e01ee2bc8e5f6ec4f15cab254c55d1 2957004dad41988da9d2cf5a2a9bee835eaf92a7 338fed1587b898bdfd2ad49376406d063f028b93 35dca5c278362536ce347740419c0945e2b74fe9 4fdf4edcc1481bae506afabe0d2c58a7aaeb05f7 6948ff05dc9557b7324d0de17cc2cfdc971368b6 6a83164ccffa8a173e3647506649410643d9b28a 6eeba703d89a00278fbcc32b65556c5216f4ba9a 70ba0f3a5b5ba94b8d2dfca2e5ad43304ead7367 76fbd8b16fb79e03d9cbb75825942ade755449c8 a32916e81e6db67d1228b7ab905a8257f2a82dcc b250812aef757f125ab4097d1a3e58f73a00ea10 c0a1854c574d9e3c3e6f8e8c394ccd609701108b c3ae435b4e70055c46001a6a34a7e5451e70a2fb d0f4f7c72d053a535ef7b5cd873ed1d6f444c68d d1c348ef10e3675685e750d70b5bf871a19dc31c dec7d7ae5dbbfc74fd2e3cee6bcfc72afecc81a3 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: 2359544 MD5sum: a58d7e9829aa69e9bfc5a67a2bd112e2 SHA1: e56e9300768dd51d44734920e0deb2c049671c47 SHA256: d8c41da0648ab7251f815f3b63105a347546eee07cbfa892dc93e8f99c368697 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.