Format: 3.0 (quilt)
Package: spot
Binary: spot, libspot0, libspot-dev, libbddx0, libbddx-dev, libspotltsmin0, libspotgen0, spot-doc, python3-spot
Architecture: any all
Version: 2.12.2.0-1
Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Homepage: http://spot.lrde.epita.fr/
Standards-Version: 4.5.1
Build-Depends: debhelper (>= 12), python3-all-dev, python3-ipykernel, python3-nbconvert, libltdl-dev, dh-python, graphviz, jupyter-nbconvert, doxygen, gdb
Package-List:
 libbddx-dev deb libdevel optional arch=any
 libbddx0 deb science optional arch=any
 libspot-dev deb libdevel optional arch=any
 libspot0 deb science optional arch=any
 libspotgen0 deb science optional arch=any
 libspotltsmin0 deb science optional arch=any
 python3-spot deb python optional arch=any
 spot deb science optional arch=any
 spot-doc deb doc optional arch=all
Directory: .
Checksums-Sha1:
 212a4fd7cd17b9d606db09848cb76fe06e8a28fc 1375 spot_2.12.2.0-1.dsc
 c7f8ac7974f1c8e9be11b94d8f64f7788a8ffa36 4826768 spot_2.12.2.0.orig.tar.xz
 e3d1e58e0a68a6307c95338333e12f1310e52a23 6368 spot_2.12.2.0-1.debian.tar.xz
Checksums-Sha256:
 f803d54070c54eb77a15094ff06562525171245bcfe7e0852b8e2225ce1546b9 1375 spot_2.12.2.0-1.dsc
 2fc6f0eb74a35140f517238ea11001f5ba060e05eac47ade7ebb77f54979a0dc 4826768 spot_2.12.2.0.orig.tar.xz
 9297cf4bfa6fc1a6021d9b10ecb9503411f7f59ef211825e3bf50b2beaed0373 6368 spot_2.12.2.0-1.debian.tar.xz
Files:
 1a6d3c94c937cbc09c9ace55925c8ac2 1375 spot_2.12.2.0-1.dsc
 5432f5485353e89b53a1268d95e5d9bb 4826768 spot_2.12.2.0.orig.tar.xz
 bd7bb16d9617b562dfecccdd9e3d5765 6368 spot_2.12.2.0-1.debian.tar.xz