-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 18:15:27 +0100 Source: rocq-stdlib Binary: libcoq-stdlib Architecture: source amd64 Version: 9.0.0-3 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-stdlib - Standard library for the Rocq Theorem Prover Changes: rocq-stdlib (9.0.0-3) experimental; urgency=medium . * Depend on correct coq/rocq. Checksums-Sha1: 71371b6cb9e3ea53f020b037b6aafb1551a15f7e 2017 rocq-stdlib_9.0.0-3.dsc c1f5feda182470f1ccc526cb210a9adf10183005 2288 rocq-stdlib_9.0.0-3.debian.tar.xz 2541c4474063deb36d736280c1c019e107477466 19527928 libcoq-stdlib_9.0.0-3_amd64.deb ec8651314c971defb82c91c0e98bb837997ee291 6589 rocq-stdlib_9.0.0-3_amd64.buildinfo Checksums-Sha256: 9be2abf0bbabcaf1dddd4223795e1fb554648ba0b28a8c10de758374a1a0c17f 2017 rocq-stdlib_9.0.0-3.dsc 297915b565625192690927a56c40e531bdeee367dc30baba4966d532c52b15fb 2288 rocq-stdlib_9.0.0-3.debian.tar.xz 5b0c2d25384f731c4e4a7d0f48c04748d18e68a3e867fa7248cb15fe452b0e22 19527928 libcoq-stdlib_9.0.0-3_amd64.deb ec5dea0ad725b47024357988cf8f29374956d3adda68f6d8bb9a0af973242c90 6589 rocq-stdlib_9.0.0-3_amd64.buildinfo Files: 3936e38c0b9c49098b85b7beb1ade5f1 2017 math optional rocq-stdlib_9.0.0-3.dsc 89835178eff32bcec35f254dea5dfe3d 2288 math optional rocq-stdlib_9.0.0-3.debian.tar.xz 8229b6055752c94b1db3326ebe80669f 19527928 math optional libcoq-stdlib_9.0.0-3_amd64.deb 40526ca1754e725276cfaa20129eb89f 6589 math optional rocq-stdlib_9.0.0-3_amd64.buildinfo
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTcEUZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTxID/sFzHbh49l+sgLrfeQOzd2N Whk5xQf/redd3lqVMOTBIxkD8XkhJWZO/kcveokgQ19hQyXqqEPedyoIEj031PnR LwiJExI3ae8ayVKfzNCaXn/tcRwitzc8X8enW+ubi7GYv09cEYhFNVAjFAoamY9Z xN7oX8G0KPTOZiiS5yXRmQbkxkz7TJyLcofPbGcvlpbDGHaIUsA6QGmwwxcXzBGZ xgmIFIHUbmFZMoa7UtUaPyrq3NjgnqBZid5VuLbb7MA0p7jmUHUx4XxaN+MsNoPB V4RhQZCm6hAYF1S17RwDpqv9nlYlzHOLjooaPMeP5zaMR639yffA13HKp4ychqkk 3U64o2knLNUxxnamTLy2d9PF/N1kDun3Gottq4Wm0LaZWN1nl3RhrOT8R5tjsHIW WI7rMVyfVVsKFltyLKS0xHTC+bk5MoRc1Sv4Pw6F70sOvE9a+Dkm6va8DVE9t8h1 uA+U33EHrT0tATBfH8zUOJDrBZDrNIAw90GTesqV01OiXd38W1Mhe8+M/dk5Dxc/ DcL7wYWjLC2PXsffEwXhI7dEBgijjv2a7QxMagcaLaknoHdsOvWRGDOIbzlBmcrZ koDtIpKR47bUcd02PY+3h5oKAwQtujs13p/NT7eGbsnoj6EFBiLPVev6toPynui/ xTgBmdF07JQIsmopXcsjtw== =NAdd -----END PGP SIGNATURE-----
pgpi8thfQFQFR.pgp
Description: PGP signature
