Format: 1.8
Date: Fri, 17 May 2013 13:54:42 +0200
Source: hol-light
Binary: hol-light
Architecture: powerpc
Version: 20130511-1
Distribution: saucy-proposed
Urgency: low
Maintainer: Ubuntu/powerpc Build Daemon <buildd@adare.buildd>
Changed-By: Hendrik Tews <hendrik@askra.de>
Description: 
 hol-light  - HOL Light theorem prover
Closes: 680494
Changes: 
 hol-light (20130511-1) unstable; urgency=low
 .
   * new upstream version revision 162 from 2013-05-11
   * fix typo in package description (Closes: #680494)
   * set prioity to extra
   * omit new elc file from package
   * adapt copyright info
   * add new patch include-compiler-libs for OCaml 4 compatibility
   * bump to standards version 3.9.4
   * improve debian readme
Checksums-Sha1: 
 df2bd2df07239bbfa3dbb86cf8d611e207304b97 3877916 hol-light_20130511-1_powerpc.deb
Checksums-Sha256: 
 a4189c60e1a72a91347fc94a9839bc4eccb19aa390d3382a87b125c054c5a698 3877916 hol-light_20130511-1_powerpc.deb
Files: 
 7b6760c3bbea8a4530e0c9bdbcab60d5 3877916 math extra hol-light_20130511-1_powerpc.deb