Format: 1.8 Date: Sat, 19 Apr 2014 18:55:22 +0000 Source: sat Binary: sat Architecture: amd64 Version: 0.2.1-0~83~ubuntu14.04.1 Distribution: trusty Urgency: low Maintainer: Ubuntu/lpia Build Daemon Changed-By: Miguel Pagano Description: sat - herramienta para comprender la semántica de fórmulas de primer or Changes: sat (0.2.1-0~83~ubuntu14.04.1) trusty; urgency=low . * Auto build. Checksums-Sha1: 16705f5ae2c06e74f41070738b0a028db3f426d6 1041284 sat_0.2.1-0~83~ubuntu14.04.1_amd64.deb Checksums-Sha256: b4dab729c051935fa8872f732c25051a980f45cb45d47a95f3a75cad5dfb900b 1041284 sat_0.2.1-0~83~ubuntu14.04.1_amd64.deb Files: 70a676e050dc8bc7758ac51dda32673f 1041284 haskell extra sat_0.2.1-0~83~ubuntu14.04.1_amd64.deb