1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • coq-reglang_1.1.3-1_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Mon Jul 18 18:20:02 2022
    Accepted:

    -----BEGIN PGP SIGNED MESSAGE-----
    Hash: SHA512

    Format: 1.8
    Date: Fri, 15 Jul 2022 22:53:38 +0200
    Source: coq-reglang
    Binary: libcoq-reglang
    Architecture: source amd64
    Version: 1.1.3-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-reglang - representation of regular languages in Coq
    Closes: 1014993
    Changes:
    coq-reglang (1.1.3-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1014993)
    Checksums-Sha1:
    d7e5ad61f78ddaf116164825f655e8eca807e189 2106 coq-reglang_1.1.3-1.dsc
    851f2a363f8ff7103b18844f6dbcfb348ba3e2e3 67023 coq-reglang_1.1.3.orig.tar.gz
    e2fbae33b38928f5ef08575a003f31a63562859b 8328 coq-reglang_1.1.3-1.debian.tar.xz
    347174b13a9b2e324b3e1afd74ee89becf216759 7199 coq-reglang_1.1.3-1_amd64.buildinfo
    f318a381729bbd88cb558ec08356b3c3a12b01d2 721656 libcoq-reglang_1.1.3-1_amd64.deb
    Checksums-Sha256:
    2ada31cfd864a69fd12610408a0cc1829440d4b093663abd8dbc4b90340f1598 2106 coq-reglang_1.1.3-1.dsc
    eb36d5bdd375663f3cd3627f5f3cca54ddfc83982a1f8dc106b2424cf1ca371f 67023 coq-reglang_1.1.3.orig.tar.gz
    6cab30ec0d3b1e8c07b399210f379863be9a2024eca3c1995a223e6f9bb4d7f9 8328 coq-reglang_1.1.3-1.debian.tar.xz
    55ebf0badefc334bf2dc94cb1b5a978cf72412629e4a8de5a4348e18987c3547 7199 coq-reglang_1.1.3-1_amd64.buildinfo
    fff7227467ec44740d487c0a658cb41dfe446bd06ca88904b8223eb006b061cb 721656 libcoq-reglang_1.1.3-1_amd64.deb
    Files:
    a7f93ad50a2c780bf8f3d33276a68e31 2106 ocaml optional coq-reglang_1.1.3-1.dsc
    36011415d0f49a7dddcb02b89dffd288 67023 ocaml optional coq-reglang_1.1.3.orig.tar.gz
    da86be93947bbd4e32f467ff95f222e4 8328 ocaml optional coq-reglang_1.1.3-1.debian.tar.xz
    ff4c5036e8c76be00022e50fed8126ca 7199 ocaml optional coq-reglang_1.1.3-1_amd64.buildinfo
    e4e9fd7c5a7c7cebf5af62eed2cb8305 721656 ocaml optional libcoq-reglang_1.1.3-1_amd64.deb

    -----BEGIN PGP SIGNATURE-----

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLR1G8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRDnYP/0M0hj+NQNz6T2stNj/MXCCxyqiTad7x kvzQlROjgjuO9ttfD9f8mcHqDVVkv9ewhQPW3+6KIGl2bKF7JrXVNpPGKzWkQAM6 taXR8L3Jbr6f1n0e2dX0wc8rzNFdRF1jGYhP3LzOBH25qxhKdJvD9HPi9l0r8iKd L1V5K9JntedEzViNwhKMen0BofuD1EaUsChKtvFfQCWU2I5lR+TXdjlv7C4j1Zku iQ482R0KahpURdy85028GM5FLNS0w2nc5MrZyc1bMa3GA4uB6BLV/fEi+plIZHxg G35EaQ82eRKAU8rNbm7fzTf9sNFWwQlb05NtgRpWX5Od2mr9CWRAaezPkxhCbNwL 7NHhWIu17Ic+f3bNJSzCTHsrqfAlpix67pc+Ng08PGcXU6gQL8dih1xDQ7x7VmGA kybcJcR+ToU0n5ULTkEOpBUrEupfLAeue1LC8S+7pjhF+BFaR0THZWpqLZqUCgWd Dz3xFj0CwUYJ4oQsj40T/ijnw2KAs7QdwxzRT9bYJm5n8QPA7zxuJ68K9Y6saRYI P1aKTd1tvPG0xtSwxmGaVvYuoZcFtsHDqUjTl+8ZwY6V/Tt5g6z7s1pTB6w7be/i D8N5nc+kpvuMHWnvQfa7slgyi171KTlxubo2pLABF6ig9sD13Fs5njfi+Xs53aaz
    OGSahKr7+hfm
    =IoFs
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)