ocaml-eqaf (0.9-4+rpi1) trixie-staging; urgency=medium
authorPeter Michael Green <plugwash@raspbian.org>
Fri, 22 Dec 2023 04:14:19 +0000 (04:14 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Fri, 22 Dec 2023 04:14:19 +0000 (04:14 +0000)
  * Remove build-dependency on libcrowbar-ocaml-dev.
  * Disable tests which use afl++ via crowbar.

[dgit import unpatched ocaml-eqaf 0.9-4+rpi1]

14 files changed:
1  2 
debian/changelog
debian/control
debian/copyright
debian/debian-dune
debian/gbp.conf
debian/libeqaf-ocaml-dev.docs
debian/libeqaf-ocaml-dev.install.in
debian/libeqaf-ocaml.install.in
debian/patches/0001-Handle-unknown-ocaml-system-as-Linux.patch
debian/patches/disable-afl.patch
debian/patches/series
debian/rules
debian/source/format
debian/watch

index 0000000000000000000000000000000000000000,0000000000000000000000000000000000000000..24d43d3390e00e2fc3203d07441dad332208c55e
new file mode 100644 (file)
--- /dev/null
--- /dev/null
@@@ -1,0 -1,0 +1,45 @@@
++ocaml-eqaf (0.9-4+rpi1) trixie-staging; urgency=medium
++
++  * Remove build-dependency on libcrowbar-ocaml-dev.
++  * Disable tests which use afl++ via crowbar.
++
++ -- Peter Michael Green <plugwash@raspbian.org>  Fri, 22 Dec 2023 04:14:19 +0000
++
++ocaml-eqaf (0.9-4) unstable; urgency=medium
++
++  * Fix FTBFS on mipsel and mips64el
++
++ -- Stéphane Glondu <glondu@debian.org>  Thu, 17 Aug 2023 14:30:17 +0200
++
++ocaml-eqaf (0.9-3) unstable; urgency=medium
++
++  * Use ocaml_dune DH buildsystem
++
++ -- Stéphane Glondu <glondu@debian.org>  Thu, 17 Aug 2023 09:27:46 +0200
++
++ocaml-eqaf (0.9-2) unstable; urgency=medium
++
++  * Team upload.
++  * Fix d/watch.
++  * Bump standards-version to 4.6.2
++  * Fix compilation with recent dune
++
++ -- Julien Puydt <jpuydt@debian.org>  Thu, 06 Jul 2023 08:56:51 +0200
++
++ocaml-eqaf (0.9-1) unstable; urgency=medium
++
++  * New upstream release
++
++ -- Stéphane Glondu <glondu@debian.org>  Sat, 21 Jan 2023 09:57:42 +0100
++
++ocaml-eqaf (0.8-2) unstable; urgency=medium
++
++  * Fix debian/copyright
++
++ -- Stéphane Glondu <glondu@debian.org>  Sun, 28 Nov 2021 13:27:49 +0100
++
++ocaml-eqaf (0.8-1) unstable; urgency=medium
++
++  * Initial release (Closes: #1000391)
++
++ -- Stéphane Glondu <glondu@debian.org>  Mon, 22 Nov 2021 17:03:45 +0100
diff --cc debian/control
index 0000000000000000000000000000000000000000,0000000000000000000000000000000000000000..a29553d95c8eb8b9c708fa2c8e2af961fc677f27
new file mode 100644 (file)
--- /dev/null
--- /dev/null
@@@ -1,0 -1,0 +1,44 @@@
++Source: ocaml-eqaf
++Section: ocaml
++Priority: optional
++Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
++Uploaders: Stéphane Glondu <glondu@debian.org>
++Build-Depends:
++ debhelper-compat (= 13),
++ ocaml,
++ ocaml-dune,
++ libcstruct-ocaml-dev,
++ libalcotest-ocaml-dev <!nocheck>,
++ dh-ocaml (>= 1.2)
++Standards-Version: 4.6.2
++Rules-Requires-Root: no
++Vcs-Browser: https://salsa.debian.org/ocaml-team/ocaml-eqaf
++Vcs-Git: https://salsa.debian.org/ocaml-team/ocaml-eqaf.git
++Homepage: https://github.com/mirage/eqaf
++
++Package: libeqaf-ocaml-dev
++Provides: ${ocaml:Provides}
++Architecture: any
++Depends:
++ ${ocaml:Depends},
++ ${shlibs:Depends},
++ ${misc:Depends}
++Recommends: ocaml-findlib
++Description: constant-time equal function on string for OCaml (dev files)
++ This package provides an equal function on string in constant-time to
++ avoid timing-attack with crypto stuff.
++ .
++ This package contains development files.
++
++Package: libeqaf-ocaml
++Provides: ${ocaml:Provides}
++Architecture: any
++Depends:
++ ${ocaml:Depends},
++ ${shlibs:Depends},
++ ${misc:Depends}
++Description: constant-time equal function on string for OCaml (runtime files)
++ This package provides an equal function on string in constant-time to
++ avoid timing-attack with crypto stuff.
++ .
++ This package contains runtime files.
index 0000000000000000000000000000000000000000,0000000000000000000000000000000000000000..f4ec62ce7bcc7d5cc0eab2d0de3ca7f9e820f56e
new file mode 100644 (file)
--- /dev/null
--- /dev/null
@@@ -1,0 -1,0 +1,35 @@@
++Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
++
++Files: *
++Copyright: 2018, Romain Calascibetta
++           2018, David Kaloper Meršinjak
++License: MIT
++
++Files: check/linear_algebra.ml
++Copyright: 2018, Jane Street Group, LLC
++License: Apache-2.0
++
++Files: debian/*
++Copyright: 2021, Stéphane Glondu <glondu@debian.org>
++License: MIT
++
++License: MIT
++ Permission is hereby granted, free of charge, to any person obtaining a copy of
++ this software and associated documentation files (the "Software"), to deal in
++ the Software without restriction, including without limitation the rights to
++ use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
++ the Software, and to permit persons to whom the Software is furnished to do so,
++ subject to the following conditions:
++ .
++ The above copyright notice and this permission notice shall be included in all
++ copies or substantial portions of the Software.
++ .
++ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
++ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
++ FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
++ COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
++ IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
++ CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
++
++License: Apache-2.0
++ See `/usr/share/common-licenses/Apache-2.0'.
index 0000000000000000000000000000000000000000,0000000000000000000000000000000000000000..6314ff6aed6e28f71be9c3ed530bff21d6ab02d1
new file mode 100644 (file)
--- /dev/null
--- /dev/null
@@@ -1,0 -1,0 +1,1 @@@
++eqaf
diff --cc debian/gbp.conf
index 0000000000000000000000000000000000000000,0000000000000000000000000000000000000000..cec628c7444886870d72dc8bcd536479e7f8a284
new file mode 100644 (file)
--- /dev/null
--- /dev/null
@@@ -1,0 -1,0 +1,2 @@@
++[DEFAULT]
++pristine-tar = True
index 0000000000000000000000000000000000000000,0000000000000000000000000000000000000000..a7a328f2a67f771624e6591aa561bef8b7cc9777
new file mode 100644 (file)
--- /dev/null
--- /dev/null
@@@ -1,0 -1,0 +1,1 @@@
++usr/doc/*/*
index 0000000000000000000000000000000000000000,0000000000000000000000000000000000000000..e06b4e38d0293708969973dec1a330d528b18008
new file mode 100644 (file)
--- /dev/null
--- /dev/null
@@@ -1,0 -1,0 +1,14 @@@
++@OCamlStdlibDir@/*/*opam*
++@OCamlStdlibDir@/*/*dune*
++@OCamlStdlibDir@/*/*.ml*
++@OCamlStdlibDir@/*/*.cmi
++@OCamlStdlibDir@/*/*.cmt*
++OPT: @OCamlStdlibDir@/*/*.a
++OPT: @OCamlStdlibDir@/*/*.cmx
++OPT: @OCamlStdlibDir@/*/*.cmxa
++@OCamlStdlibDir@/*/*/*.ml*
++@OCamlStdlibDir@/*/*/*.cmi
++@OCamlStdlibDir@/*/*/*.cmt*
++OPT: @OCamlStdlibDir@/*/*/*.a
++OPT: @OCamlStdlibDir@/*/*/*.cmx
++OPT: @OCamlStdlibDir@/*/*/*.cmxa
index 0000000000000000000000000000000000000000,0000000000000000000000000000000000000000..0f2ecc4521ed2dc8d793c24c203b80c2b93dd0a2
new file mode 100644 (file)
--- /dev/null
--- /dev/null
@@@ -1,0 -1,0 +1,5 @@@
++@OCamlStdlibDir@/*/META
++@OCamlStdlibDir@/*/*.cma
++DYN: @OCamlStdlibDir@/*/*.cmxs
++@OCamlStdlibDir@/*/*/*.cma
++DYN: @OCamlStdlibDir@/*/*/*.cmxs
index 0000000000000000000000000000000000000000,0000000000000000000000000000000000000000..c311fc19adf6b8495554040dcd2ab54f773736c2
new file mode 100644 (file)
--- /dev/null
--- /dev/null
@@@ -1,0 -1,0 +1,22 @@@
++From: Stephane Glondu <steph@glondu.net>
++Date: Thu, 17 Aug 2023 14:27:20 +0200
++Subject: Handle "unknown" ocaml system as Linux
++
++In Debian, on mipsel and mips64el, ocaml reports system as "unknown".
++---
++ clock/select/select.ml | 2 +-
++ 1 file changed, 1 insertion(+), 1 deletion(-)
++
++diff --git a/clock/select/select.ml b/clock/select/select.ml
++index 78b45cf..6572136 100644
++--- a/clock/select/select.ml
+++++ b/clock/select/select.ml
++@@ -22,7 +22,7 @@ let () =
++       | [|_; "--system"; system; "-o"; output|] ->
++           let system =
++             match system with
++-            | "linux" | "elf" -> `Linux
+++            | "linux" | "elf" | "unknown" -> `Linux
++             | "windows" | "mingw64" | "mingw" | "cygwin" -> `Windows
++             | "freebsd" -> `FreeBSD
++             | "macosx" -> `MacOSX
index 0000000000000000000000000000000000000000,0000000000000000000000000000000000000000..162e798b17506abd20ee5fa0b1f9af25c5e6627a
new file mode 100644 (file)
--- /dev/null
--- /dev/null
@@@ -1,0 -1,0 +1,32 @@@
++Description: disable test that relies on afl++ via crowbar.
++Author: Peter Michael Green <plugwash@raspbian.org>
++
++Index: ocaml-eqaf-0.9/eqaf.opam
++===================================================================
++--- ocaml-eqaf-0.9.orig/eqaf.opam
+++++ ocaml-eqaf-0.9/eqaf.opam
++@@ -24,7 +24,6 @@ depends: [
++   "cstruct"        {>= "1.1.0"}
++   "base64"         {with-test}
++   "alcotest"       {with-test}
++-  "crowbar"        {with-test}
++   "fmt"            {with-test & >= "0.8.7"}
++   "bechamel"       {with-test}
++ ]
++\ No newline at end of file
++Index: ocaml-eqaf-0.9/fuzz/dune
++===================================================================
++--- ocaml-eqaf-0.9.orig/fuzz/dune
+++++ ocaml-eqaf-0.9/fuzz/dune
++@@ -1,11 +0,0 @@
++-(executable
++- (name fuzz)
++- (libraries crowbar eqaf))
++-
++-(rule
++- (alias runtest)
++- (package eqaf)
++- (deps
++-  (:fuzz fuzz.exe))
++- (action
++-  (run %{fuzz})))
index 0000000000000000000000000000000000000000,0000000000000000000000000000000000000000..303e69fd02cf0d3abf28e64bb1194c85869c40f5
new file mode 100644 (file)
--- /dev/null
--- /dev/null
@@@ -1,0 -1,0 +1,2 @@@
++0001-Handle-unknown-ocaml-system-as-Linux.patch
++disable-afl.patch
diff --cc debian/rules
index 0000000000000000000000000000000000000000,0000000000000000000000000000000000000000..91ce70b0610ee5c17d05e3b2f630b8c40328e472
new file mode 100755 (executable)
--- /dev/null
--- /dev/null
@@@ -1,0 -1,0 +1,7 @@@
++#!/usr/bin/make -f
++# -*- makefile -*-
++
++include /usr/share/ocaml/ocamlvars.mk
++
++%:
++      dh $@ --with ocaml --buildsystem ocaml_dune
index 0000000000000000000000000000000000000000,0000000000000000000000000000000000000000..163aaf8d82b6c54f23c45f32895dbdfdcc27b047
new file mode 100644 (file)
--- /dev/null
--- /dev/null
@@@ -1,0 -1,0 +1,1 @@@
++3.0 (quilt)
diff --cc debian/watch
index 0000000000000000000000000000000000000000,0000000000000000000000000000000000000000..9df1cdc48e3476ebd623e98c67ee9a8d3dff384d
new file mode 100644 (file)
--- /dev/null
--- /dev/null
@@@ -1,0 -1,0 +1,2 @@@
++version=4
++https://github.com/mirage/eqaf/tags .*/v?([0-9.]+)\.tar\.gz