Format: 1.8
Date: Sat, 17 Feb 2024 12:56:30 +0100
Source: ssreflect
Binary: libcoq-mathcomp libcoq-mathcomp-algebra libcoq-mathcomp-character libcoq-mathcomp-field libcoq-mathcomp-fingroup libcoq-mathcomp-solvable libcoq-mathcomp-ssreflect
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 2.1.0-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-005.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-mathcomp - Mathematical Components library for Coq (all)
 libcoq-mathcomp-algebra - Mathematical Components library for Coq (algebra)
 libcoq-mathcomp-character - Mathematical Components library for Coq (character)
 libcoq-mathcomp-field - Mathematical Components library for Coq (field)
 libcoq-mathcomp-fingroup - Mathematical Components library for Coq (finite groups)
 libcoq-mathcomp-solvable - Mathematical Components library for Coq (finite groups II)
 libcoq-mathcomp-ssreflect - Mathematical Components library for Coq (small scale reflection)
Changes:
 ssreflect (2.1.0-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 b1efe6061fb950e2cba8ecb77ec890bc9ed7641d 10320264 libcoq-mathcomp-algebra_2.1.0-1build2_ppc64el.deb
 6f7a87c06bd1cb470121224a6a4278e9c01ce385 4414450 libcoq-mathcomp-character_2.1.0-1build2_ppc64el.deb
 43937ee12946bdd5bcccb6b2725991a58a2b661a 3394208 libcoq-mathcomp-field_2.1.0-1build2_ppc64el.deb
 cb7f798cfea6a0a694c32bd5ee0e7d559bbc7e5b 2233008 libcoq-mathcomp-fingroup_2.1.0-1build2_ppc64el.deb
 eed5b8b85fde03808086acd3c536efec72754ee0 5236586 libcoq-mathcomp-solvable_2.1.0-1build2_ppc64el.deb
 f3169e635ae9d17c066c62199eae19bee8568ae9 6618822 libcoq-mathcomp-ssreflect_2.1.0-1build2_ppc64el.deb
 68db892e3832e7093957b07eb08c43d8e78817dd 2465050 libcoq-mathcomp_2.1.0-1build2_ppc64el.deb
 c0be55738387be38a885e327d880ab534ce97ffb 9703 ssreflect_2.1.0-1build2_ppc64el.buildinfo
Checksums-Sha256:
 32ee7e33c061c700f94421bc6b6cf50c2a0c42ebdaee3d0fab71461fa0c7df23 10320264 libcoq-mathcomp-algebra_2.1.0-1build2_ppc64el.deb
 6499d78cb21a40a6883350571736efa3a6235d14a3e93a7aba34d9fac511481f 4414450 libcoq-mathcomp-character_2.1.0-1build2_ppc64el.deb
 d4e66df129247b97f61c2ce17ff5798e8906216e6a2902d5c1c7ce61700c78f3 3394208 libcoq-mathcomp-field_2.1.0-1build2_ppc64el.deb
 77b9ba854f23def15ce2f6cb661256e82c856c2b4d2066f87b6671622b21a940 2233008 libcoq-mathcomp-fingroup_2.1.0-1build2_ppc64el.deb
 1c6d812c114abb016aa523618573e9acc918324af8e33bcedfc46b80e0f7e309 5236586 libcoq-mathcomp-solvable_2.1.0-1build2_ppc64el.deb
 a1a1916e1c4701e16ba9867afdce74e5c59e4266e70efd2fd50877e654c5591e 6618822 libcoq-mathcomp-ssreflect_2.1.0-1build2_ppc64el.deb
 930c2e71ef8ed4722d8b3fb9189581ffd05e17fa67fb63d8ccebf1be761b435b 2465050 libcoq-mathcomp_2.1.0-1build2_ppc64el.deb
 4877d98bca5c4cb6e9ba29ce1bdb5bfd682c7522b4d5525d3d3b10359a7ab1ed 9703 ssreflect_2.1.0-1build2_ppc64el.buildinfo
Files:
 edeace0690049099f0fd8da3ad868920 10320264 math optional libcoq-mathcomp-algebra_2.1.0-1build2_ppc64el.deb
 ce125502f2dac592873a7c65057fa160 4414450 math optional libcoq-mathcomp-character_2.1.0-1build2_ppc64el.deb
 2f1278f60111eb573ba1876d243cddd2 3394208 math optional libcoq-mathcomp-field_2.1.0-1build2_ppc64el.deb
 14144e78314f2599182ec7c38b32bab2 2233008 math optional libcoq-mathcomp-fingroup_2.1.0-1build2_ppc64el.deb
 9e66d764b83918ab608c5b758e909527 5236586 math optional libcoq-mathcomp-solvable_2.1.0-1build2_ppc64el.deb
 0072d71d347107484ea93082810f846a 6618822 math optional libcoq-mathcomp-ssreflect_2.1.0-1build2_ppc64el.deb
 c027f118a71b70eabf269e77839b12f5 2465050 math optional libcoq-mathcomp_2.1.0-1build2_ppc64el.deb
 98f913fc2cf0250809d58b202bba2f34 9703 math optional ssreflect_2.1.0-1build2_ppc64el.buildinfo