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

  • coqprime_8.15-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Thu Jan 26 14:10:01 2023
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Wed, 25 Jan 2023 13:16:25 +0100
    Source: coqprime
    Architecture: source
    Version: 8.15-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coqprime (8.15-2) unstable; urgency=medium
    .
    * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1:
    eea0e881eb4326fc3a93284bb99014bf74b0b4ad 2149 coqprime_8.15-2.dsc
    2fa1e0a5490870130b907df871bddf001bac0b43 3576 coqprime_8.15-2.debian.tar.xz
    cefd1b99f8b23f87eeb1266a09dcf49c6e66881e 7545 coqprime_8.15-2_source.buildinfo Checksums-Sha256:
    af4b16aa2bcb8280e8974fe83471b0b228297c984542317dd848ccf07614732c 2149 coqprime_8.15-2.dsc
    b9a7d07e3cad92bef068d73c2689745796326c7b9237ff2c38e123975d588003 3576 coqprime_8.15-2.debian.tar.xz
    283535ba40382f18b6197ab27208fc817b48f9ce0ecc1d5fabc0d0cd1648b11d 7545 coqprime_8.15-2_source.buildinfo
    Files:
    d60327ad52457861ab9cbb8c1a5aaf70 2149 ocaml optional coqprime_8.15-2.dsc
    a06b866a43f26971f678cdc78e3c5923 3576 ocaml optional coqprime_8.15-2.debian.tar.xz
    03d4f241f38a56e46c688aaceb7372d9 7545 ocaml optional coqprime_8.15-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRHawSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRwW8P/AsVs1RWXXUbtI8Yc5hFcu0Lremw0T/C OYq//bYHv2H26R285IsynqK+cKDnCwoEc8bqn07c8Sd4bFbNQhAryMBDQD57ANDu rTWf09Tl3NokrSmCoXUCl7uUxatFYzQ9hSom8LqaV6hagOS6w8Fv5IHLiTKefePG vjqgdt2ZODCuGmh74K74LE2xB63XQgGs4HCELLHsTKUHxZ8v65ikNoQYrMpJXOqH hXZIRSDuERe+nUEBV7XrfI5ZBDKSzKgoBEtSBkFqGxMsazHeFCAlQ47V7SNCqvf5 I95TJNHuptwJKOz8OYLkHaK1ik07HqLjhXvWht7ASv4KpGq8vriF30cpP/WkUrvT iCOPDn/eXj4cCGsdSMuZcGS9CDuOwyRgt49AWN4KMEmhaOCQlh3hYgJNL3iCuZ6U OmIM63M2lbYhxQ28KYQ96jU0+joEMRWYpQH/WRhcPJqT88FKkLvndKh6o9GoBM0l IyTIRcEg1SVjxUU0rwlLSlDHHWJMVQ+BUhScoq2st2Gx6SPTjCGRfkKNK7cjX7O+ bowMlGysGb/bMUonsJzmZw6EprUOiaUhAXf5Yb3uNvr6blm3ZH1ik2Lrkh67zu8g LbTfnSM2VEXRvoqkO8QlYa1ctSvyZ8ekkQuC/ONspIC6BYSKN1Tga9Y+hsVQCYnv
    vuGAHPNsETeK
    =S7Fn
    -----END PGP SIGNATURE-----

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