Format: 1.8 Date: Sun, 24 Mar 2024 00:16:33 +0000 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: arm64 Version: 2.1.0-1build3 Distribution: noble-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Steve Langasek 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-1build3) noble; urgency=medium . * No-change rebuild for new libcoq-stdlib ABI Checksums-Sha1: b75ff4d72b6628ff3f6f10bbfd39f185e28a8253 10320032 libcoq-mathcomp-algebra_2.1.0-1build3_arm64.deb be5999b11a2c38d9bc65f7ca6e867b44da7b5d36 4414472 libcoq-mathcomp-character_2.1.0-1build3_arm64.deb b7b56e6fe1f70097315970cf0e0e2b7a47a65e42 3394136 libcoq-mathcomp-field_2.1.0-1build3_arm64.deb 5aa7bf7afe6c1eb605d74ff57a640a432e3d7527 2233164 libcoq-mathcomp-fingroup_2.1.0-1build3_arm64.deb 562dd0f143b85190a9d49ec6664affab771be3a1 5236862 libcoq-mathcomp-solvable_2.1.0-1build3_arm64.deb da347f8d3ae4a1830e041eb062e7f4a027650534 6618904 libcoq-mathcomp-ssreflect_2.1.0-1build3_arm64.deb c69d51bfeff49f422b9a9aec4302975e435ed8e2 2465158 libcoq-mathcomp_2.1.0-1build3_arm64.deb 3e9c3fc08a18d1d5b04417690f8f522fe0b102c0 9447 ssreflect_2.1.0-1build3_arm64.buildinfo Checksums-Sha256: ec8493433bfbbcff82128e635b518401f175926525490d61b807266d446e2192 10320032 libcoq-mathcomp-algebra_2.1.0-1build3_arm64.deb f3d8ded5282cd91a54b24128b5556bb48be9bb56752af76ab66fa672a448fcba 4414472 libcoq-mathcomp-character_2.1.0-1build3_arm64.deb 75c0211abe7b43d40eec5141f8e747f99e29205bf02324bd2384da95c074d506 3394136 libcoq-mathcomp-field_2.1.0-1build3_arm64.deb b4d06d5fca870dd2b4ab450d5799450ac45b2330c5e9f871f7950093f19ea754 2233164 libcoq-mathcomp-fingroup_2.1.0-1build3_arm64.deb 4fb88d42948920ea14a8abac9a87daf0643a3e4b942add4e6c01c8732f675e0d 5236862 libcoq-mathcomp-solvable_2.1.0-1build3_arm64.deb 74b93e997b75e5673eac75624f260db7bfb6e36b96998b5bbeaf8ff536e6c9b6 6618904 libcoq-mathcomp-ssreflect_2.1.0-1build3_arm64.deb ba1459864aa0dce8c8259687622c93ed430cfd1e57f0404997e642c2ba2e7253 2465158 libcoq-mathcomp_2.1.0-1build3_arm64.deb 0a7557ce567c9b971de67f07b7728371a53fd3dc94ca7704c6c9c19f91300d17 9447 ssreflect_2.1.0-1build3_arm64.buildinfo Files: 9cb623a8bf6ae43896b91f91455ecd5d 10320032 math optional libcoq-mathcomp-algebra_2.1.0-1build3_arm64.deb 5d8ee2ef3ce229c4a4cebf343da58993 4414472 math optional libcoq-mathcomp-character_2.1.0-1build3_arm64.deb 936156304c3027df44c9ec9213a50882 3394136 math optional libcoq-mathcomp-field_2.1.0-1build3_arm64.deb 5602f1f057b0079f4868767b2df6aebb 2233164 math optional libcoq-mathcomp-fingroup_2.1.0-1build3_arm64.deb ba777df18f639e9a524ab02f38ad2385 5236862 math optional libcoq-mathcomp-solvable_2.1.0-1build3_arm64.deb cc6410e62a2043629ee5891305732a8b 6618904 math optional libcoq-mathcomp-ssreflect_2.1.0-1build3_arm64.deb 18f9a4be96cfa2a1b3244792f87ad655 2465158 math optional libcoq-mathcomp_2.1.0-1build3_arm64.deb d77aa96f9e1b5cdcb76f600bb74bed3a 9447 math optional ssreflect_2.1.0-1build3_arm64.buildinfo Original-Maintainer: Debian OCaml Maintainers