ocaml-mirage-crypto (1.1.0-2) unstable; urgency=medium * Add delay in timer_check, as an attempt to fix test failure on riscv64 -- Stéphane Glondu Wed, 21 Aug 2024 08:55:07 +0200 ocaml-mirage-crypto (1.1.0-1) unstable; urgency=medium * New upstream release * Bump Standards-Version to 4.7.0 -- Stéphane Glondu Tue, 20 Aug 2024 20:54:21 +0200 ocaml-mirage-crypto (0.11.3-1) unstable; urgency=medium * New upstream release -- Stéphane Glondu Tue, 04 Jun 2024 13:19:38 +0200 ocaml-mirage-crypto (0.11.2-2) unstable; urgency=medium [ Adrian Bunk ] * riscv64: Replace rdcycle64 with rdtime64 (Closes: #1064066) -- Stéphane Glondu Fri, 16 Feb 2024 18:23:11 +0100 ocaml-mirage-crypto (0.11.2-1) unstable; urgency=medium * New upstream release -- Stéphane Glondu Sun, 08 Oct 2023 12:07:22 +0200 ocaml-mirage-crypto (0.11.1-3) unstable; urgency=medium * Enable tests * Depend on ocaml instead of transitional ocaml-nox -- Stéphane Glondu Sun, 10 Sep 2023 06:06:42 +0200 ocaml-mirage-crypto (0.11.1-2) unstable; urgency=medium * Use ocaml_dune DH buildsystem -- Stéphane Glondu Sun, 06 Aug 2023 10:12:52 +0200 ocaml-mirage-crypto (0.11.1-1) unstable; urgency=medium * Team upload. * Fix d/watch. * Bump standards-version to 4.6.2 * Fix compilation with recent dune * New upstream release. -- Julien Puydt Thu, 06 Jul 2023 09:04:45 +0200 ocaml-mirage-crypto (0.10.7-1) unstable; urgency=medium [ Stéphane Glondu ] * New upstream release [ Debian Janitor ] * Set upstream metadata fields * Update standards version to 4.6.1 -- Stéphane Glondu Sun, 22 Jan 2023 10:31:58 +0100 ocaml-mirage-crypto (0.10.5-4) unstable; urgency=medium * Fix compilation on kfreebsd-* -- Stéphane Glondu Sun, 05 Dec 2021 16:21:03 +0100 ocaml-mirage-crypto (0.10.5-3) unstable; urgency=medium * Install static stubs on bytecode architectures * Fix compilation on mipsel and mips64el -- Stéphane Glondu Sat, 04 Dec 2021 20:54:07 +0100 ocaml-mirage-crypto (0.10.5-2) unstable; urgency=medium * Fix FTBFS on (at least) armhf -- Stéphane Glondu Fri, 03 Dec 2021 09:02:43 +0100 ocaml-mirage-crypto (0.10.5-1) unstable; urgency=medium * Initial release (Closes: #1000808) -- Stéphane Glondu Wed, 01 Dec 2021 16:25:25 +0100