Format: 1.8
Date: Wed, 30 Jan 2013 16:38:32 +0100
Source: mcrl2
Binary: mcrl2
Architecture: source
Version: 201210.1-1ubuntu1~oneiric1~ppa1
Distribution: oneiric
Urgency: low
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Changed-By: Jeroen Keiren <jkeiren@win.tue.nl>
Description: 
 mcrl2      - formal specification language toolset
Changes: 
 mcrl2 (201210.1-1ubuntu1~oneiric1~ppa1) oneiric; urgency=low
 .
   * No-change backport to oneiric
Checksums-Sha1: 
 e058e5bac782a7ffee53b4d14f876552e3cd05e9 1862 mcrl2_201210.1-1ubuntu1~oneiric1~ppa1.dsc
 00f27e63d61bec506c2a97422834618ef33ac338 8218004 mcrl2_201210.1.orig.tar.gz
 8de4b9ecd3a216621f6cc3dc711ce4f7b1eb4391 7181 mcrl2_201210.1-1ubuntu1~oneiric1~ppa1.debian.tar.gz
Checksums-Sha256: 
 38b8e2280fc9c98f399606846c3f7316008297245a765bc50ee3cb70814d9cc5 1862 mcrl2_201210.1-1ubuntu1~oneiric1~ppa1.dsc
 52a29a2dc7360459ae2cc20124f41b1ad25e4f9edcc8d38a0464b6d481031cb4 8218004 mcrl2_201210.1.orig.tar.gz
 f82c78d616cd3d2d5d1b639cea5156a111641433d96487b177e76dba831c19a7 7181 mcrl2_201210.1-1ubuntu1~oneiric1~ppa1.debian.tar.gz
Files: 
 e77a5e3c50e4a0d81e0a63e41a401276 1862 math extra mcrl2_201210.1-1ubuntu1~oneiric1~ppa1.dsc
 b4bffa70ba40a087fa04f0f9aa066f86 8218004 math extra mcrl2_201210.1.orig.tar.gz
 a72224f5ee539f137d0cc856dc5ff5ca 7181 math extra mcrl2_201210.1-1ubuntu1~oneiric1~ppa1.debian.tar.gz
Original-Maintainer: Jeroen Keiren <jkeiren@win.tue.nl>