Format: 3.0 (quilt)
Source: spot
Binary: spot, libspot0, libspot-dev, libbddx0, libbddx-dev, libspotltsmin0, libspotgen0, spot-doc, python3-spot
Architecture: any all
Version: 2.12.1.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
Checksums-Sha1:
 5ec8b473355157d074b4fddb11831c22ea717c15 4826792 spot_2.12.1.0.orig.tar.xz
 e862e16982cf57cccb0160106f3c9bcd7c780ae9 6372 spot_2.12.1.0-1.debian.tar.xz
Checksums-Sha256:
 3438d94b411f56eea6817446a9b0081e8ec57ec4bddd4f299b873fcbc55d5048 4826792 spot_2.12.1.0.orig.tar.xz
 32446a6f60e203061a25bab0a95f764f375e25f01fdbfe9119743eace072c3fd 6372 spot_2.12.1.0-1.debian.tar.xz
Files:
 90dede764f8faef845335f1b6cbe7bba 4826792 spot_2.12.1.0.orig.tar.xz
 bc3b6b2814afe9fad506b653e8a45471 6372 spot_2.12.1.0-1.debian.tar.xz