Format: 1.8
Date: Tue, 16 Dec 2014 13:16:05 +0100
Source: mcrl2
Binary: mcrl2
Architecture: source
Version: 201409.1-1ubuntu1ppa2~utopic
Distribution: utopic
Urgency: medium
Maintainer: Wieger Wesselink <j.w.wesselink@tue.nl>
Changed-By: Wieger Wesselink <j.w.wesselink@tue.nl>
Description: 
 mcrl2      - formal specification language toolset
Changes: 
 mcrl2 (201409.1-1ubuntu1ppa2~utopic) utopic; urgency=medium
 .
   * Single core build.
   * New upstream (bugfix) release.
Checksums-Sha1: 
 f804ab53a359358c21c11ab2b1270d7296da833c 1701 mcrl2_201409.1-1ubuntu1ppa2~utopic.dsc
 883e9cab19fc37b162c34b8f86d4a1e781e90320 17482247 mcrl2_201409.1.orig.tar.gz
 01347ce37301d83f2b6be6167b2814082870f211 7135 mcrl2_201409.1-1ubuntu1ppa2~utopic.debian.tar.gz
Checksums-Sha256: 
 5d979b0fdc173da4942feaf3ad446010be0306c5d8f2a66b22f492b546a94c4d 1701 mcrl2_201409.1-1ubuntu1ppa2~utopic.dsc
 b2f492fcb51d6ae502439d3542069c81b7181ef606e401bc0e1ada548e6c76f9 17482247 mcrl2_201409.1.orig.tar.gz
 b887e916c30e26fc2c71b12c168b68644eaf12caf6fbdf7df4e51eb5ec8dd68e 7135 mcrl2_201409.1-1ubuntu1ppa2~utopic.debian.tar.gz
Files: 
 9a7578883e8509650a03866cf31de50c 1701 math extra mcrl2_201409.1-1ubuntu1ppa2~utopic.dsc
 32818c4111aa406033e865c30ac7862b 17482247 math extra mcrl2_201409.1.orig.tar.gz
 5fd78bc34cf0d87b7ac989921b392a43 7135 math extra mcrl2_201409.1-1ubuntu1ppa2~utopic.debian.tar.gz