[ubuntu/mantic-proposed] coq-unimath 20230420-3ubuntu1 (Accepted)

[Gianfranco Costamagna]

coq-unimath (20230420-3ubuntu1) mantic; urgency=medium

  * Add back riscv64

Date: Wed, 21 Jun 2023 20:07:49 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-unimath/20230420-3ubuntu1
-------------- next part --------------
Format: 1.8
Date: Wed, 21 Jun 2023 20:07:49 +0200
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20230420-3ubuntu1
Distribution: mantic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-unimath (20230420-3ubuntu1) mantic; urgency=medium
 .
   * Add back riscv64
Checksums-Sha1:
 907bdde05c5ccd7f95f6536e5fb790321f2c11ba 2190 coq-unimath_20230420-3ubuntu1.dsc
 b559c26193e64961f2d3f9856cb744e90ae1a352 2601704 coq-unimath_20230420.orig.tar.gz
 0081cbb9991a8f79457ff54d743e0b2e7b7d0a7e 2000 coq-unimath_20230420-3ubuntu1.debian.tar.xz
 8dd607d68689c06b637256bb104f2169a0562bc8 7802 coq-unimath_20230420-3ubuntu1_source.buildinfo
Checksums-Sha256:
 916b6a816aa061ed8ed8afc5911b5af21dd72109aa5ba5f9c9b78cd41a1ab0d9 2190 coq-unimath_20230420-3ubuntu1.dsc
 62d23e9be4208e6ff1eab4d5d762ac6a9e7cdaaeeaea165b5aa8f79a569f0b50 2601704 coq-unimath_20230420.orig.tar.gz
 15d5438346750d23d37b6611329aaab6271aa93767f820b87915acd7058b8b77 2000 coq-unimath_20230420-3ubuntu1.debian.tar.xz
 9bee1a97ac41b0fe3cbb0106f1b3e2ef274f33dbfb1829b5e7a972edeef9890d 7802 coq-unimath_20230420-3ubuntu1_source.buildinfo
Files:
 2f7dc0c3abad2b742beeed4d3c9c992f 2190 ocaml optional coq-unimath_20230420-3ubuntu1.dsc
 792a9689ce36bff58fb6aa58c4f7eb6b 2601704 ocaml optional coq-unimath_20230420.orig.tar.gz
 c241d2232e5958d3a93425ae57997858 2000 ocaml optional coq-unimath_20230420-3ubuntu1.debian.tar.xz
 b33eadfd7923ddc3804d7d875fb5e3f5 7802 ocaml optional coq-unimath_20230420-3ubuntu1_source.buildinfo