Package: libbddx-dev Source: spot Version: 2.14.5.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 335 Depends: libbddx0 (>= 2.14.5.0-1), libbddx0 (<< 2.14.5.0-1.1~) Filename: i386/libbddx-dev_2.14.5.0-1_i386.deb Size: 95032 MD5sum: 84b3df5dafa76b289aff42a682fdba21 SHA1: a8d0338827921550c278ecc91a85dc071703c079 SHA256: 48a82b75fed8618a42d8ff7e75e7070865a506f8d7a1e6faf79d022f47e891c0 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 382 Depends: libbddx0 (>= 2.14.5.0-1), libbddx0 (<< 2.14.5.0-1.1~) Filename: amd64/libbddx-dev_2.14.5.0-1_amd64.deb Size: 89812 MD5sum: e40feeedd32d8d8ac0362515c12dc176 SHA1: a3a78b8f5a1ec5ce270273b98d0f3e656a002ccc SHA256: 90db712ab46a7138dd413a552eb7513363cc39f25ccf0e210814c0da6ed7bcb5 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.5.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 174 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: i386/libbddx0_2.14.5.0-1_i386.deb Size: 72636 MD5sum: 62e12f7c2a01dde7960d43fcd3db1afd SHA1: 7f0195906ca47d5f16389828da1bcff295e23ce2 SHA256: 4d4f6f46f326c901932255f85f5f3efd8d066ebed6a7f31053926277eb270235 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 167 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.14.5.0-1_amd64.deb Size: 74560 MD5sum: 485e109c937d653f448b7493e5f6d945 SHA1: 0052b841c7c1bd6eb622eb6f9b73cb9a220b0f39 SHA256: 4ca78db318fb052d25dafc3a75157c6ea8d7f34fd8a2110d5f165f619e0eaeef 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 211 Depends: libbddx0 (= 2.14.5.0-1) Filename: i386/libbddx0-dbgsym_2.14.5.0-1_i386.deb Size: 182448 MD5sum: fc95d5723ff18cee59ca7496bfa5f309 SHA1: 33e51258a63334169f87ffa658e7f23b10cfb29b SHA256: f1a463e5f48f8729448a6444fd7e16fcc28d0cea89075d2efa8ae960f1fd6867 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 255000fd05c20089d6a48ed6705ee922ded108a0 Package: libbddx0-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 228 Depends: libbddx0 (= 2.14.5.0-1) Filename: amd64/libbddx0-dbgsym_2.14.5.0-1_amd64.deb Size: 189888 MD5sum: 11c9fa9c7abd0a6d71ae1df11935fa66 SHA1: 8d058e8719821b76eb8869c65ac1be35a3164274 SHA256: 564c7d34ac2fe1777371380e2afc5ba9bbd040c606de46387a77ecdffc8aa134 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 08f9464a9a2d0847fd9fdc6a7a0c4e11440101c7 Package: libspot-dev Source: spot Version: 2.14.5.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 15226 Depends: libspot0 (>= 2.14.5.0-1), libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (>= 2.14.5.0-1), libspotltsmin0 (<< 2.14.5.0-1.1~), libbddx-dev Suggests: spot-doc Filename: i386/libspot-dev_2.14.5.0-1_i386.deb Size: 3221212 MD5sum: 8d02b14898c2b24873a424d2f0950618 SHA1: 20bb37a7184eaed8d4e9d49de7801cebf84fdb47 SHA256: 4127ed4f550f8d0db57e40c07fc694e6825d4be8c9c8cb8f8547d66c65fc4669 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17891 Depends: libspot0 (>= 2.14.5.0-1), libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (>= 2.14.5.0-1), libspotltsmin0 (<< 2.14.5.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.14.5.0-1_amd64.deb Size: 3078400 MD5sum: ad08d9175d2d1cfb0fd355a60652e015 SHA1: b67a595b2189996a21fde6be1b03ed3df8d3689b SHA256: c03fefc5d85bc2cf796ae50bd72ba9e46647966ce8b26df5a605688017cb645e 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.5.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 4884 Depends: libbddx0 (>= 2.14.5.0-1), libc6 (>= 2.17), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), libbddx0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/libspot0_2.14.5.0-1_i386.deb Size: 2295508 MD5sum: ec4576b30feac9bbb31c77a3443ce746 SHA1: fc6204b042ec6843975295f3751f61fbd0ff1dab SHA256: 5ef910ed3e3d65f2d74a2283a2e8b5e8f397076132a3c383c86afb45ecaebc18 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4711 Depends: libbddx0 (>= 2.14.5.0-1), libc6 (>= 2.29), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), libbddx0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.14.5.0-1_amd64.deb Size: 2218632 MD5sum: 7da8d11823bc83a97c01f250e9480371 SHA1: 63ab9daa9db77498968fa0e7461cfde4279176a4 SHA256: 910066421f43fa58c22ac9e773c672dabbdb819df2d60dd90be75e16f9110c2b 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 30485 Depends: libspot0 (= 2.14.5.0-1) Filename: i386/libspot0-dbgsym_2.14.5.0-1_i386.deb Size: 29787076 MD5sum: 610d7301e5b08a288f5550992530935e SHA1: 59c2eeeb415da946537e9db87f6b6b197883bdf5 SHA256: fc1f45d1cdeeeb4e8037a66816e07e6e1520af360bf628f8d123efcbff234086 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: e34f3652003675c3339556970267c7b58f429490 Package: libspot0-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 31222 Depends: libspot0 (= 2.14.5.0-1) Filename: amd64/libspot0-dbgsym_2.14.5.0-1_amd64.deb Size: 30186372 MD5sum: 8ba4cc7ae87246dd37e9940cdf150215 SHA1: 82fb1dc39979eeac0d85cda5ad7789d983d1b912 SHA256: d67d38c689c2f805956a8b86a10ca208fab456c330f0e270db62cc915bde06fb Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 82c772bf4c1d91e9859f894e75a1696162ff3acd Package: libspotgen0 Source: spot Version: 2.14.5.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 574 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.1.3), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: i386/libspotgen0_2.14.5.0-1_i386.deb Size: 433932 MD5sum: 2da421393cb0bba8b6bc5964299f06bc SHA1: b67cd3eb5759bea61bd272b428a1a8dfac2e71de SHA256: 8af58eb3ffd608f1f0f03b1af3315fa0209c7adf06c510eb99821b0ba986be1f 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 587 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.5.0-1_amd64.deb Size: 431852 MD5sum: 336d027f029a9c30c7afd4c8d9ff7b8b SHA1: 72cfc194d0c695d0eb9d4670d4982579dbc0d20c SHA256: 46b190350aa0fb1cfaf851010c59c1714726104d2ab69e03a540866497b11b85 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 770 Depends: libspotgen0 (= 2.14.5.0-1) Filename: i386/libspotgen0-dbgsym_2.14.5.0-1_i386.deb Size: 744856 MD5sum: a6bfdb2edbab45d24f9d420eda501a2f SHA1: a304912b7f3073c10252ebf1fa9ce22017a4460b SHA256: 917327c717df534eb75fe644af615cd439418811d71ff77302d9ab0e97990533 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: ad004a067bdb01d5741592934f1c0a80295488ea Package: libspotgen0-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 789 Depends: libspotgen0 (= 2.14.5.0-1) Filename: amd64/libspotgen0-dbgsym_2.14.5.0-1_amd64.deb Size: 753748 MD5sum: 91720927dbc5c6ee9cdb8e4b490cc94f SHA1: 407c0876951ae63142b89f97d5c42b720bf05fce SHA256: a7c707fbdee3782bfbeea11555805efebf23a692a7c0acf8380814ef4e3f0cc2 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 6995a00888c56d2ef9640051e903914188ea5ff4 Package: libspotltsmin0 Source: spot Version: 2.14.5.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 426 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: i386/libspotltsmin0_2.14.5.0-1_i386.deb Size: 376656 MD5sum: aad8ec48be353375edb3f2512ffa1d77 SHA1: fa4e8a26ce56369a3cf57c948f6b7df05a5e621d SHA256: 5ce2836a3c3375ab1a1b46b056c3a080ea113dec74267c9b84a8505c84e8912a 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 427 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.2.5), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.5.0-1_amd64.deb Size: 374064 MD5sum: 75376908d50321fd3b0d3f7ee45c7dca SHA1: 13b6fe12358944a69913468ba54b6f1ce17040e5 SHA256: d61833d71dcda340a3d59c47ad0719680a4c880c9b1b0af7221ab20c7f443602 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 669 Depends: libspotltsmin0 (= 2.14.5.0-1) Filename: i386/libspotltsmin0-dbgsym_2.14.5.0-1_i386.deb Size: 629196 MD5sum: 8b1435fce0988813694e69cf78956e8d SHA1: a497579ade0f79d74fb94418c8df917e218c3b18 SHA256: bfa6659d283b1cf1a7f52a7a3f241f8e789cf044cfe85ac0d1a1e1a14be713c6 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 719f0fca6b18cd239309e0f4ef6b5f1a71fa0592 Package: libspotltsmin0-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 693 Depends: libspotltsmin0 (= 2.14.5.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.14.5.0-1_amd64.deb Size: 636476 MD5sum: 95726bb4a76d008832af8ef696aa791a SHA1: 3899582d5a2ea2aa7cba49f68f67fd1b25fe8033 SHA256: 11cd91c63f0033242f3d3298e37cb1bcfcaa74e78e068fdfe81b0a09d15bbe06 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 10b334b95976a24e7f5d388a90090743004c130b Package: python3-spot Source: spot Version: 2.14.5.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 31587 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0), libspotltsmin0 (>= 2.14.5.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), python3:any, libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (<< 2.14.5.0-1.1~) Suggests: ipython3 Filename: i386/python3-spot_2.14.5.0-1_i386.deb Size: 2279064 MD5sum: 20489fae4e8173786e45704ba30d200f SHA1: 63dff8900e027c2ab98e3711a99c3ed7413aa69e SHA256: 0440f742576d04686893d711f1143465c16a172ff6d5384d3de556ad187a0092 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 31893 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.14), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0), libspotltsmin0 (>= 2.14.5.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), python3:any, libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (<< 2.14.5.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.14.5.0-1_amd64.deb Size: 2251360 MD5sum: 2536ca223b79331a0c5f6d4cd8298b24 SHA1: 05ef98b860e0e24105694f0918bf680b25473f72 SHA256: 0b521d1f460c0d2a47403d2b82e1af55d3f40112d0b4c1f6d46d7a8dc57ff976 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 7834 Depends: python3-spot (= 2.14.5.0-1) Filename: i386/python3-spot-dbgsym_2.14.5.0-1_i386.deb Size: 7151132 MD5sum: 349457a2a09c25ea50fc064ef735b557 SHA1: 4e19342d815a73dbc26871640febb28d9f69ad87 SHA256: e8978a0b8f1e111a89c6dbdbd6146d6c5ec3654245ab096fc4892998ba3ac991 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 28dfb6761d97f570c668c8175e911f5d17c6f059 9fa73af6a219a16327d0a879931bac0165338f8d a555150a32aca4df576f9efb243be78ff6569354 af59031dac5efa6cac359efcf320380f7b6e6fe9 Package: python3-spot-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 8262 Depends: python3-spot (= 2.14.5.0-1) Filename: amd64/python3-spot-dbgsym_2.14.5.0-1_amd64.deb Size: 7395648 MD5sum: be8114419dd93e5b930899587a7a1759 SHA1: ea67353eb65ec1961fd8a40700e2cbf5c40a9c7a SHA256: 4687b0b20bd08988eda0134d7f6fcc1667da7fa04be30260e68c1aa6c60f45c4 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 40bf05e2424ba8b3e5ea2032475a4623e08981d3 5b60b39da7c9592d4d14443c32d363befd48ae99 634e699a4d284e326381446e8ab5967fb5735aed b31d3585cbfa0cac597f14e6c30724e0554a79fc Package: spot Version: 2.14.5.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 3651 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.15), libgcc-s1 (>= 4.2), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.5.0-1.1~), libspotgen0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/spot_2.14.5.0-1_i386.deb Size: 1258104 MD5sum: 10d42b0db320e27c05978227d6448327 SHA1: c4e3e460caf20266d164e248f06082f19568fbef SHA256: ba4a19b81dc0cfa5ee263cf1f11d53ac43cbe2595a9c1f36820a5d69acfc9573 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3763 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.15), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.5.0-1.1~), libspotgen0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.14.5.0-1_amd64.deb Size: 1245420 MD5sum: ad89977daa147ecac62931914c3577e4 SHA1: 4224b5b1a9a9dc91bed6248d6984405b12d132f9 SHA256: 6aa3cce2d1813cab5afd2d3c0c74891777ffba66e47361bf5d942127f1d29de0 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 10298 Depends: spot (= 2.14.5.0-1) Filename: i386/spot-dbgsym_2.14.5.0-1_i386.deb Size: 9146300 MD5sum: 056a753613bb031054352718c9f218d9 SHA1: 90e9aef1fe1501c432d81c5d05a75d7a2f4ae4bb SHA256: c560cb356e57d18bc015f901c6ce18f5fe2c15a909ff7b8634e2415e1d8d2752 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 25a996badcc8f2149c5e7aa6471b9c4f06dd1aad 26dbd586a9b621059d814caedc9caac05e44c3e7 37b03447ab88c40cc72349efe1e24af2a1af5dd7 51b3742168c3b875ce3c3ae053ba788b24ae5143 7e3cca59436c2e7ba5a7415bd9c85779a1b09dd4 88ddb688a0847d3d4c1cfb8c3b5c49536ccfa6c6 8d6a18d29aeb5650abbf7fcf08089af9cf33891e 90beeb6ec974078fcd6ee21240e9120634266ff4 a5dd0f2969b7347c3b8f903b7e60365267b6039b b02aac2c4e2b5e4619eb3743f91b0ffa5123a629 b951a80c6ac3fb2ade8d5ecb2db8b57fb2fde076 cc17b12bfd1e865d767d59c93963a88cfa60cc5f d174c34efe4b252a753a4e92c3357a654b61b33f df7378529ea9aac98677779799eeef9e431c98f7 ea3c4673890f5a93fd159df733bb4c4d959e82c2 f76d1f805f96921306ba4b23c965c4a276307573 fcd56bc947bbe0018526821ff0e33f78f7ce388a Package: spot-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 10948 Depends: spot (= 2.14.5.0-1) Filename: amd64/spot-dbgsym_2.14.5.0-1_amd64.deb Size: 9440668 MD5sum: b13d780d6d0709d1b43d43cca1b11ab2 SHA1: d03876b6f8e7f34f2b162268b1c9c2ca5b0be4eb SHA256: d783155c7b3c2d90ed437cbea0e817b9646d5489a557224e2b6bec5a3f8cc117 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 057b1d0af177167aa922bc8e245fbf16bb016496 05e1e055eb0605341a4ec5d2d5ea4c118ec23a08 14abdac9843b3f185252e54c3a00018e64d4d7af 3a97ce383ddbe34b5dbd78e048e9948270d43768 3abf7dd4a4eb6f863187731edffb9fdb998631a7 481dbcdb3aca4f89f5d07c25ed85acdc300ac94f 62abdcb27c715c28fc16eb5b4b31b31e3370fc71 6b2b9035a6f6a38ea548df5941148a8d8a68c915 77d66db2bfb0fe842cf6110c7ffcbd1f2913fd61 b0a95fc8f57e1cb55fe2a7e4d1bf5e7ab60c76d3 bacd2a2e6ee7f9ccdc19d23178d6a71f6bf86fde bb51a41349d3153502926ac65ba10f810598cf69 c6619858d439cdc868463819bc433a0a1e2591e6 cab4d69c06c95bf1f6e0370fc96258ebae156545 d1156c6f297ed7b642b8612a03932b54c7dbb982 e6c4f90d165bd3cbbcf97a39d94891d239333f15 fe95447a8a502143fd753cf89c396d9578378514 Package: spot-doc Source: spot Version: 2.14.5.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 31248 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.5.0-1_all.deb Size: 2353832 MD5sum: c700721a9d2830cfdbbf9b7971fa78b5 SHA1: e27ba6e498f91c6ef4c198b36ec55db257afdf40 SHA256: c0095b8a9ea7cd5f718e0af897d4d02666a871a179af541f321ff78d126d4495 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.