Accepted coq-interval 4.11.4-1 (source amd64) into experimental

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

Format: 1.8
Date: Wed, 15 Jul 2026 15:53:28 +0200
Source: coq-interval
Binary: libcoq-interval
Architecture: source amd64
Version: 4.11.4-1
Distribution: experimental
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-interval - interval arithmetic for Coq
Changes:
 coq-interval (4.11.4-1) experimental; urgency=medium
 .
   * Rewrite d/watch.
   * Bump standards-version to 4.7.4.
   * New upstream release.
Checksums-Sha1:
 72f94e838e2d429313cb0297b291cc2abd896ac8 2213 coq-interval_4.11.4-1.dsc
 8bf2b4b79c93006fea48563bd2483be932cceb26 346599 coq-interval_4.11.4.orig.tar.gz
 257be9ec4b6f11834451925e1db9b7c6a3ffc8c5 10064 coq-interval_4.11.4-1.debian.tar.xz
 e8f05ba31c0d92e0cdc7929aa62fcc6912624c96 7745 coq-interval_4.11.4-1_amd64.buildinfo
 e4b718f2c5a4b7f88992736dda57a74feea1d57f 6447364 libcoq-interval_4.11.4-1_amd64.deb
Checksums-Sha256:
 db60b652c983c04a756dee307c24687905f8e58e84f00492d430cfb37346f1c2 2213 coq-interval_4.11.4-1.dsc
 f2e0c6ee1bd781db896d032a6e5dbac5b19ee1f8b0ef364b4d272be9c921d66c 346599 coq-interval_4.11.4.orig.tar.gz
 24fa094c60b74f7c1dc7e0593aebb6df06ab0c30cc1fd075c7df6a7519b34299 10064 coq-interval_4.11.4-1.debian.tar.xz
 fc90d666ace31ddfcd34d67cff4b19d1eafe9fb46738bab72b9bf4f87296ed50 7745 coq-interval_4.11.4-1_amd64.buildinfo
 4406e6bff5703d00442ca76316339ca2c07adbfb764c3146d59effeee5c85369 6447364 libcoq-interval_4.11.4-1_amd64.deb
Files:
 a7ba6cd26d89d60fedad4ea11dde4c23 2213 ocaml optional coq-interval_4.11.4-1.dsc
 62fb47fa58c6ce854ea3bf9534a9b648 346599 ocaml optional coq-interval_4.11.4.orig.tar.gz
 6d51466ab5edaf9646f7de2f341ac0ee 10064 ocaml optional coq-interval_4.11.4-1.debian.tar.xz
 ac70d6cde16bf191117d5956f3e5224e 7745 ocaml optional coq-interval_4.11.4-1_amd64.buildinfo
 9ebab2bac6b768e7d3075922d695e2d7 6447364 ocaml optional libcoq-interval_4.11.4-1_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpeoxQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQuGD/9Qvv2uqwjURz3qGp876CLD
f0ROnzqWvswjCU+OsQkjAvEYPheHb5mEkr400Ob/JJH9RgJJSG3jDLdlhbWVk2Bk
6z+hlmrB0gFXfizbT9+mB8kVoxZ+IZw2w8q1yKmWTaMqQOLgCjnR4b4BRqS2jboC
hX6Df8KfHhDFFwN6zFhUwToff1H9DPwXYBomANQBhEVSQeBNZB81Y+H/w8NlRTE0
aPtNxmamygPVJGHszK0oh9yY33J2BWP04xGC/P18HE/9pE7YXrKOwai/slfvjY+5
DJEMAPvJ2WOwtJyzcBYVoUzB4y0k5NhBaTLVgjmDAevzQZSdsJqAe9LJxWEhAig9
HjKfPwdLWkMViNOial+HfUC/nlrEolpkr47OhidamMO1jNtoRp75JrG2tY3pvSQH
tnXSRfdj8tDSRDsV353CCVC1qb0jKcNVH83+RUPgABT+aeAxtNOl/4yZxgiqbWy5
RZkIGmKAAqv/Mc4BtMKbB78DF3X73Ma0R22r5lVMuIV2ALomMCSm0kSWtOEoyboS
ejSPDZvhIrHg3KGH/F7C07FYIpEmIp3nqTunoH45cUTGXhiS5X9Cj1uZg/EDP64/
ySEOo7jzewvSF8MlvxfesZ3nBremnuJtJCwjdyQKBYcCF5fqI0KKJ0RCGGwfg+W4
eIPqg1MZri3oSne0WAS1TQ==
=pAj/
-----END PGP SIGNATURE-----