From: pukkamustard <pukkamustard@posteo.net>
To: 64249@debbugs.gnu.org
Cc: pukkamustard <pukkamustard@posteo.net>,
Julien Lepiller <julien@lepiller.eu>,
pukkamustard <pukkamustard@posteo.net>
Subject: [bug#64249] [PATCH v8 11/13] gnu: opam: Split build into smaller sub-packages.
Date: Fri, 3 Nov 2023 11:50:19 +0000 [thread overview]
Message-ID: <d85d9487c101b99106e01d28ac02c0de2bc85336.1699012157.git.pukkamustard@posteo.net> (raw)
In-Reply-To: <a6de8e6b0a2b2cca1316b75bf05f26b4378e8cad.1699012157.git.pukkamustard@posteo.net>
* gnu/packages/ocaml.scm (opam): Split build into smaller sub-packages.
(ocaml-down, ocaml-topkg, ocaml-rresult, ocaml-mtime, ocaml-fmt,
ocaml-astring, ocaml-react, ocaml-hmap, ocaml-logs, ocaml-fpath, ocaml-bos,
ocaml-xmlm, ocaml-uchar, ocaml-uutf, ocaml-uunf, ocaml-jsonm, ocaml-ptime,
ocaml-uuidm, ocaml-tsdl, ocaml-uucp, ocaml-uucd, ocaml-uuseg,
ocaml-afl-persistent, ocaml-ocb-stubblr) [native-inputs]: Replace opam with
opam-installer.
---
gnu/packages/ocaml.scm | 263 ++++++++++++++++++++++++++++-------------
1 file changed, 183 insertions(+), 80 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index c448e64bc7..eccc870c08 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -780,7 +780,7 @@ (define-public ocaml-down
,#~(list "build" "--lib-dir"
(string-append #$output "/lib/ocaml/site-lib"))))
(native-inputs
- (list ocaml-findlib ocamlbuild ocaml-topkg opam))
+ (list ocaml-findlib ocamlbuild ocaml-topkg opam-installer))
(home-page "https://erratique.ch/software/down")
(synopsis "OCaml toplevel (REPL) upgrade")
(description "Down is an unintrusive user experience upgrade for the
@@ -846,9 +846,9 @@ (define-public ocaml-opam-file-format
;; With static-linking exception
(license license:lgpl2.1+)))
-(define-public opam
+(define ocaml-opam-core
(package
- (name "opam")
+ (name "ocaml-opam-core")
(version "2.1.3")
(source (origin
(method git-fetch)
@@ -860,32 +860,151 @@ (define-public opam
(base32
"1mw535zsw7xlvpgwnk1dan76z3f7lh5imlg0s6kdyhfg0iqisjd7"))))
(build-system dune-build-system)
+ (arguments `(#:package "opam-core"
+ ;; tests are run with the opam package
+ #:tests? #f
+ #:phases
+ (modify-phases %standard-phases
+ (add-before 'build 'pre-build
+ (lambda* (#:key inputs make-flags #:allow-other-keys)
+ (let ((bash (assoc-ref inputs "bash"))
+ (bwrap (search-input-file inputs "/bin/bwrap")))
+ (substitute* "src/core/opamSystem.ml"
+ (("\"/bin/sh\"")
+ (string-append "\"" bash "/bin/sh\""))
+ (("getconf")
+ (which "getconf")))))))))
+ (propagated-inputs
+ (list ocaml-graph
+ ocaml-re
+ ocaml-cppo))
+ (inputs (list bubblewrap))
+ (home-page "https://opam.ocamlpro.com/")
+ (synopsis "Package manager for OCaml")
+ (description
+ "OPAM is a tool to manage OCaml packages. It supports multiple
+simultaneous compiler installations, flexible package constraints, and a
+Git-friendly development workflow.")
+ ;; The 'LICENSE' file waives some requirements compared to LGPLv3.
+ (license license:lgpl3)))
+
+(define ocaml-opam-format
+ (package
+ (inherit ocaml-opam-core)
+ (name "ocaml-opam-format")
+ (inputs '())
+ (propagated-inputs (list ocaml-opam-core
+ ocaml-opam-file-format
+ ocaml-re))
+ (arguments `(#:package "opam-format"
+ ;; tests are run with the opam package
+ #:tests? #f
+ #:phases %standard-phases))))
+
+(define-public opam-installer
+ (package
+ (inherit ocaml-opam-core)
+ (name "opam-installer")
+ (native-inputs (list ocaml-opam-format
+ ocaml-cmdliner))
+ (inputs '())
+ (propagated-inputs '())
+ (arguments `(#:package "opam-installer"
+ ;; requires all of opam
+ #:tests? #f))
+ (synopsis "Tool for installing OCaml packages")
+ (description "@var{opam-installer} is a tool for installing OCaml packages
+based on @code{.install} files defined by the OPAM package manager. It is
+useful for installing OCaml packages without requiring the entirety of
+OPAM.")
+ (properties
+ ;; opam-installer is used as a tool and not as a library, we can use the
+ ;; OCaml 4.14 compiled opam until opam is compatible with OCaml 5.0.
+ `((ocaml5.0-variant . ,(delay opam-installer))))))
+
+(define ocaml-opam-repository
+ (package
+ (inherit ocaml-opam-core)
+ (name "ocaml-opam-repository")
+ (inputs '())
+ (propagated-inputs (list ocaml-opam-format))
+ (arguments `(#:package "opam-repository"
+ ;; tests are run with the opam package
+ #:tests? #f
+ #:phases %standard-phases))))
+
+(define ocaml-opam-state
+ (package
+ (inherit ocaml-opam-core)
+ (name "ocaml-opam-state")
+ (arguments `(#:package "opam-state"
+ ;; tests are run with the opam package
+ #:tests? #f
+ #:phases
+ (modify-phases %standard-phases
+ (add-before 'build 'pre-build
+ (lambda* (#:key inputs make-flags #:allow-other-keys)
+ (let ((bwrap (search-input-file inputs "/bin/bwrap")))
+ ;; Use bwrap from the store directly.
+ (substitute* "src/state/shellscripts/bwrap.sh"
+ (("-v bwrap") (string-append "-v " bwrap))
+ (("exec bwrap") (string-append "exec " bwrap))
+ ;; Mount /gnu and /run/current-system in the
+ ;; isolated environment when building with opam.
+ ;; This is necessary for packages to find external
+ ;; dependencies, such as a C compiler, make, etc...
+ (("^add_sys_mounts /usr")
+ (string-append "add_sys_mounts "
+ (%store-directory)
+ " /run/current-system /usr")))))))))
+ (inputs (list bubblewrap))
+ (propagated-inputs (list ocaml-opam-repository))))
+
+(define ocaml-opam-solver
+ (package
+ (inherit ocaml-opam-core)
+ (name "ocaml-opam-solver")
+ (inputs '())
+ (propagated-inputs (list ocaml-opam-format
+ ocaml-mccs
+ ocaml-dose3))
+ (arguments `(#:package "opam-solver"
+ ;; tests are run with the opam package
+ #:tests? #f
+ #:phases %standard-phases))))
+
+(define ocaml-opam-client
+ (package
+ (inherit ocaml-opam-core)
+ (name "ocaml-opam-client")
+ (arguments `(#:package "opam-client"
+ ;; tests are run with the opam package
+ #:tests? #f
+ #:phases
+ (modify-phases %standard-phases
+ (add-before 'build 'pre-build
+ (lambda* (#:key inputs make-flags #:allow-other-keys)
+ (let ((bwrap (search-input-file inputs "/bin/bwrap")))
+ (substitute* "src/client/opamInitDefaults.ml"
+ (("\"bwrap\"") (string-append "\"" bwrap "\"")))))))))
+ (inputs (list bubblewrap))
+ (propagated-inputs
+ (list ocaml-opam-state
+ ocaml-opam-solver
+ ocaml-opam-repository
+ ocaml-base64
+ ocaml-re
+ ocaml-cmdliner))))
+
+(define-public opam
+ (package
+ (inherit ocaml-opam-core)
+ (name "opam")
+ (build-system dune-build-system)
(arguments
- `(#:phases
+ `(#:package "opam"
+ #:phases
(modify-phases %standard-phases
- (add-before 'build 'pre-build
- (lambda* (#:key inputs make-flags #:allow-other-keys)
- (let ((bash (assoc-ref inputs "bash"))
- (bwrap (search-input-file inputs "/bin/bwrap")))
- (substitute* "src/core/opamSystem.ml"
- (("\"/bin/sh\"")
- (string-append "\"" bash "/bin/sh\""))
- (("getconf")
- (which "getconf")))
- ;; Use bwrap from the store directly.
- (substitute* "src/state/shellscripts/bwrap.sh"
- (("-v bwrap") (string-append "-v " bwrap))
- (("exec bwrap") (string-append "exec " bwrap))
- ;; Mount /gnu and /run/current-system in the
- ;; isolated environment when building with opam.
- ;; This is necessary for packages to find external
- ;; dependencies, such as a C compiler, make, etc...
- (("^add_sys_mounts /usr")
- (string-append "add_sys_mounts "
- (%store-directory)
- " /run/current-system /usr")))
- (substitute* "src/client/opamInitDefaults.ml"
- (("\"bwrap\"") (string-append "\"" bwrap "\""))))))
(add-before 'check 'prepare-checks
(lambda* (#:key inputs #:allow-other-keys)
;; Opam tests need to run an isolated environment from a writable
@@ -966,22 +1085,11 @@ (define-public opam
"0j9abisx3ifzm66ci3p45mngmz4f0fx7yd9jjxrz3f8w5jffc9ii"))
("opam-repo-f372039d" ,(opam-repo "f372039db86a970ef3e662adbfe0d4f5cd980701"
"0ld7fcry6ss6fmrpswvr6bikgx299w97h0gwrjjh7kd7rydsjdws")))))
- (inputs
- (list ocaml ncurses curl bubblewrap ocaml-cmdliner ocaml-dose3
- ocaml-mccs ocaml-opam-file-format ocaml-re))
+ (inputs (list ocaml-opam-client))
(properties
;; OPAM is used as a tool and not as a library, we can use the OCaml 4.14
;; compiled opam until opam is compatible with OCaml 5.0.
- `((ocaml5.0-variant . ,(delay opam))))
- (home-page "https://opam.ocamlpro.com/")
- (synopsis "Package manager for OCaml")
- (description
- "OPAM is a tool to manage OCaml packages. It supports multiple
-simultaneous compiler installations, flexible package constraints, and a
-Git-friendly development workflow.")
-
- ;; The 'LICENSE' file waives some requirements compared to LGPLv3.
- (license license:lgpl3)))
+ `((ocaml5.0-variant . ,(delay opam))))))
(define-public ocaml-opam-monorepo
(package
@@ -2204,7 +2312,7 @@ (define-public ocaml-topkg
"11ycfk0prqvifm9jca2308gw8a6cjb1hqlgfslbji2cqpan09kpq"))))
(build-system ocaml-build-system)
(native-inputs
- (list opam ocamlbuild))
+ (list opam-installer ocamlbuild))
(propagated-inputs
`(("result" ,ocaml-result)))
(arguments
@@ -2234,7 +2342,7 @@ (define-public ocaml-rresult
"0h2mjyzhay1p4k7n0mzaa7hlc7875kiy6m1i3r1n03j6hddpzahi"))))
(build-system ocaml-build-system)
(native-inputs
- (list opam ocamlbuild))
+ (list opam-installer ocamlbuild))
(propagated-inputs
`(("topkg" ,ocaml-topkg)))
(arguments
@@ -2349,7 +2457,7 @@ (define-public ocaml-mtime
"1ss4w3qxsfp51d88r0j7dzqs05dbb1xdx11hn1jl9cvd03ma0g9z"))))
(build-system ocaml-build-system)
(native-inputs
- (list ocamlbuild opam))
+ (list ocamlbuild opam-installer))
(propagated-inputs
`(("topkg" ,ocaml-topkg)))
(arguments
@@ -2479,13 +2587,13 @@ (define-public ocaml-fmt
"0q8j2in2473xh7k4hfgnppv9qy77f2ih89yp6yhpbp92ba021yzi"))))
(build-system ocaml-build-system)
(native-inputs
- `(("ocamlbuild" ,ocamlbuild)
- ("opam" ,opam)
- ("topkg" ,ocaml-topkg)))
+ (list ocamlbuild
+ opam-installer
+ ocaml-topkg))
(propagated-inputs
- `(("cmdliner" ,ocaml-cmdliner)
- ("ocaml-stdlib-shims" ,ocaml-stdlib-shims)
- ("ocaml-uchar" ,ocaml-uchar)))
+ (list ocaml-cmdliner
+ ocaml-stdlib-shims
+ ocaml-uchar))
(arguments `(#:tests? #f
#:build-flags (list "build" "--with-base-unix" "true"
"--with-cmdliner" "true")
@@ -2526,9 +2634,9 @@ (define-public ocaml-astring
"1ykhg9gd3iy7zsgyiy2p9b1wkpqg9irw5pvcqs3sphq71iir4ml6"))))
(build-system ocaml-build-system)
(native-inputs
- `(("ocamlbuild" ,ocamlbuild)
- ("opam" ,opam)
- ("topkg" ,ocaml-topkg)))
+ (list ocamlbuild
+ opam-installer
+ ocaml-topkg))
(arguments
`(#:tests? #f
#:build-flags (list "build")
@@ -2748,7 +2856,7 @@ (define-public ocaml-react
"16cg4byj8lfbbw96dhh8sks5y9n1c3fshz7f2p8m7wgisqax7bf4"))))
(build-system ocaml-build-system)
(native-inputs
- (list ocamlbuild opam ocaml-topkg))
+ (list ocamlbuild opam-installer ocaml-topkg))
(arguments
`(#:tests? #f
#:build-flags (list "build")
@@ -2872,7 +2980,7 @@ (define-public ocaml-hmap
#:phases
(modify-phases %standard-phases
(delete 'configure))))
- (native-inputs (list ocaml-topkg ocamlbuild opam))
+ (native-inputs (list ocaml-topkg ocamlbuild opam-installer))
(home-page "https://erratique.ch/software/hmap")
(synopsis "Heterogeneous value maps for OCaml")
(description
@@ -3334,7 +3442,7 @@ (define-public ocaml-logs
(modify-phases %standard-phases
(delete 'configure))))
(native-inputs
- (list ocamlbuild opam))
+ (list ocamlbuild opam-installer))
(propagated-inputs
`(("fmt" ,ocaml-fmt)
("lwt" ,ocaml-lwt)
@@ -3368,7 +3476,7 @@ (define-public ocaml-fpath
(modify-phases %standard-phases
(delete 'configure))))
(native-inputs
- (list ocamlbuild opam))
+ (list ocamlbuild opam-installer))
(propagated-inputs
`(("topkg" ,ocaml-topkg)
("astring" ,ocaml-astring)))
@@ -3398,7 +3506,7 @@ (define-public ocaml-bos
(modify-phases %standard-phases
(delete 'configure))))
(native-inputs
- (list ocamlbuild opam))
+ (list ocamlbuild opam-installer))
(propagated-inputs
`(("topkg" ,ocaml-topkg)
("astring" ,ocaml-astring)
@@ -3472,7 +3580,7 @@ (define-public ocaml-xmlm
(modify-phases %standard-phases
(delete 'configure))))
(native-inputs
- (list ocamlbuild ocaml-topkg opam))
+ (list ocamlbuild ocaml-topkg opam-installer))
(home-page "https://erratique.ch/software/xmlm")
(synopsis "Streaming XML codec for OCaml")
(description "Xmlm is a streaming codec to decode and encode the XML data
@@ -3613,7 +3721,7 @@ (define-public ocaml-uchar
(modify-phases %standard-phases
(delete 'configure))))
(native-inputs
- (list ocamlbuild opam))
+ (list ocamlbuild opam-installer))
(home-page "https://github.com/ocaml/uchar")
(synopsis "Compatibility library for OCaml's Uchar module")
(description "The uchar package provides a compatibility library for the
@@ -3639,9 +3747,9 @@ (define-public ocaml-uutf
(modify-phases %standard-phases
(delete 'configure))))
(native-inputs
- `(("ocamlbuild" ,ocamlbuild)
- ("opam" ,opam)
- ("topkg" ,ocaml-topkg)))
+ (list ocamlbuild
+ opam-installer
+ ocaml-topkg))
(propagated-inputs
`(("uchar" ,ocaml-uchar)
("cmdliner" ,ocaml-cmdliner)))
@@ -3686,7 +3794,7 @@ (define-public ocaml-uunf
#t)))))
(native-inputs
`(("ocamlbuild" ,ocamlbuild)
- ("opam" ,opam)
+ ("opam-installer" ,opam-installer)
("topkg" ,ocaml-topkg)
;; Test data is otherwise downloaded with curl
("NormalizationTest.txt"
@@ -3727,9 +3835,9 @@ (define-public ocaml-jsonm
(modify-phases %standard-phases
(delete 'configure))))
(native-inputs
- `(("ocamlbuild" ,ocamlbuild)
- ("opam" ,opam)
- ("topkg" ,ocaml-topkg)))
+ (list ocamlbuild
+ opam-installer
+ ocaml-topkg))
(propagated-inputs
`(("uutf" ,ocaml-uutf)
("cmdliner" ,ocaml-cmdliner)))
@@ -4147,7 +4255,7 @@ (define-public ocaml-ptime
#:phases (modify-phases %standard-phases
(delete 'configure))))
(propagated-inputs (list ocaml-result js-of-ocaml))
- (native-inputs (list ocaml-findlib ocamlbuild ocaml-topkg opam))
+ (native-inputs (list ocaml-findlib ocamlbuild ocaml-topkg opam-installer))
(home-page "https://erratique.ch/software/ptime")
(synopsis "POSIX time for OCaml")
(description
@@ -5154,7 +5262,7 @@ (define-public ocaml-uuidm
(modify-phases %standard-phases
(delete 'configure))))
(native-inputs
- (list ocamlbuild opam))
+ (list ocamlbuild opam-installer))
(propagated-inputs
`(("cmdliner" ,ocaml-cmdliner)
("topkg" ,ocaml-topkg)))
@@ -5771,12 +5879,8 @@ (define-public ocaml-ocb-stubblr
;; Guix doesn't have cc, but it has gcc
(("\"cc\"") "\"gcc\""))
#t)))))
- (inputs
- `(("topkg" ,ocaml-topkg)
- ("opam" ,opam)))
- (native-inputs
- `(("astring" ,ocaml-astring)
- ("ocamlbuild" ,ocamlbuild)))
+ (inputs (list ocaml-topkg opam-installer))
+ (native-inputs (list ocaml-astring ocamlbuild))
(synopsis "OCamlbuild plugin for C stubs")
(description "Ocb-stubblr is about ten lines of code that you need to
repeat over, over, over and over again if you are using ocamlbuild to build
@@ -5804,7 +5908,7 @@ (define-public ocaml-tsdl
(modify-phases %standard-phases
(delete 'configure))))
(native-inputs
- (list ocamlbuild ocaml-astring opam pkg-config))
+ (list ocamlbuild ocaml-astring opam-installer pkg-config))
(inputs
`(("topkg" ,ocaml-topkg)
("sdl2" ,sdl2)
@@ -9524,7 +9628,7 @@ (define-public ocaml-uucd
(propagated-inputs
(list ocaml-xmlm))
(native-inputs
- (list opam ocaml-findlib ocamlbuild ocaml-topkg))
+ (list opam-installer ocaml-findlib ocamlbuild ocaml-topkg))
(home-page "https://erratique.ch/software/uucd")
(synopsis "Unicode character database decoder for OCaml")
(description "Uucd is an OCaml module to decode the data of the Unicode
@@ -9552,7 +9656,7 @@ (define-public ocaml-uucp
(modify-phases %standard-phases
(delete 'configure))))
(native-inputs
- (list opam
+ (list opam-installer
ocaml-findlib
ocamlbuild
ocaml-topkg
@@ -9586,7 +9690,7 @@ (define-public ocaml-uuseg
(propagated-inputs
(list ocaml-uucp ocaml-uutf ocaml-cmdliner))
(native-inputs
- (list opam ocaml-findlib ocamlbuild ocaml-topkg))
+ (list opam-installer ocaml-findlib ocamlbuild ocaml-topkg))
(home-page "https://erratique.ch/software/uuseg")
(synopsis "Unicode text segmentation for OCaml")
(description "Uuseg is an OCaml library for segmenting Unicode text. It
@@ -10047,8 +10151,7 @@ (define-public ocaml-afl-persistent
(invoke "./build.sh")))
;; XXX: The tests are already run in the build.sh script.
(delete 'check))))
- (native-inputs
- `(("opam" ,opam)))
+ (native-inputs (list opam-installer))
(home-page "https://github.com/stedolan/ocaml-afl-persistent")
(synopsis "Use afl-fuzz in persistent mode")
(description
--
2.41.0
next prev parent reply other threads:[~2023-11-03 11:51 UTC|newest]
Thread overview: 149+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-06-23 13:43 [bug#64249] [PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-06-23 13:46 ` [bug#64249] [PATCH ocaml-team 2/2] gnu: dune-bootstrap: Update to 3.8.2 pukkamustard
2023-07-15 17:38 ` [bug#64249] [PATCH ocaml-team v2 0/7] Attempt to update ocaml, coq, dune and opam pukkamustard
2023-07-15 17:38 ` [bug#64249] [PATCH ocaml-team v2 1/7] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-07-15 17:38 ` [bug#64249] [PATCH ocaml-team v2 2/7] gnu: coq: Update to 8.17.1 pukkamustard
2023-07-15 17:38 ` [bug#64249] [PATCH ocaml-team v2 3/7] gnu: dune-bootstrap: Update to 3.9.1 pukkamustard
2023-07-15 17:38 ` [bug#64249] [PATCH ocaml-team v2 4/7] gnu: ocaml-graph: Update to 2.0.0 pukkamustard
2023-07-15 17:38 ` [bug#64249] [PATCH ocaml-team v2 5/7] gnu: ocaml-base64: Update to 3.5.1 pukkamustard
2023-07-15 17:38 ` [bug#64249] [PATCH ocaml-team v2 6/7] gnu: ocaml-dose3: Update to 7.0.0 pukkamustard
2023-07-15 17:38 ` [bug#64249] [PATCH ocaml-team v2 7/7] WIP: gnu: opam: Update to 2.1.5 pukkamustard
2023-07-18 11:46 ` [bug#64249] [PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1 Ludovic Courtès
2023-07-18 12:05 ` pukkamustard
2023-07-18 12:23 ` [bug#64249] [PATCH ocaml-team v3 0/6] Update and break opam (but nothing else) pukkamustard
2023-07-18 12:23 ` [bug#64249] [PATCH ocaml-team v3 1/6] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-07-18 12:23 ` [bug#64249] [PATCH ocaml-team v3 2/6] gnu: coq: Update to 8.17.1 pukkamustard
2023-07-19 18:18 ` Julien Lepiller
2023-07-24 14:54 ` pukkamustard
2023-07-24 15:22 ` Julien Lepiller
2023-07-18 12:24 ` [bug#64249] [PATCH ocaml-team v3 3/6] gnu: dune-bootstrap: Update to 3.9.1 pukkamustard
2023-07-18 12:24 ` [bug#64249] [PATCH ocaml-team v3 4/6] gnu: opam: Split build into smaller sub-packages pukkamustard
2023-07-18 12:24 ` [bug#64249] [PATCH ocaml-team v3 5/6] gnu: Add opam-installer pukkamustard
2023-07-18 12:24 ` [bug#64249] [PATCH ocaml-team v3 6/6] FIXME: gnu: opam: Update to 2.1.5 pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 0/9] pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 1/9] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 2/9] gnu: Update coq-flocq to 4.1.1 pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 3/9] gnu: Update coq-gappa to 1.5.3 pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 4/9] gnu: Update coq-mathcomp to 1.17.0 pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 5/9] gnu: coq: Update to 8.17.1 pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 6/9] gnu: dune-bootstrap: Update to 3.9.1 pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 7/9] gnu: opam: Split build into smaller sub-packages pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 8/9] gnu: Add opam-installer pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 9/9] FIXME: gnu: opam: Update to 2.1.5 pukkamustard
2023-07-30 17:42 ` [bug#64249] [PATCH ocaml-team v4 0/9] Julien Lepiller
2023-08-06 14:09 ` pukkamustard
2023-10-29 9:24 ` DABY-SEESARAM Arnaud via Guix-patches via
2023-11-03 11:11 ` pukkamustard
2024-02-08 20:05 ` Arnaud Daby-Seesaram via Guix-patches via
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 01/12] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 02/12] gnu: Update coq-flocq to 4.1.1 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 03/12] gnu: Update coq-gappa to 1.5.3 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 04/12] gnu: Update coq-coquelicot to 3.4.0 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 05/12] gnu: Update coq-mathcomp to 1.17.0 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 06/12] gnu: Update coq-autosubst to 1.8 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 07/12] gnu: Update coq-stdpp to 1.8.0 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 08/12] gnu: Update coq-interval to 4.8.0 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 09/12] gnu: coq: Update to 8.17.1 pukkamustard
2023-08-17 19:08 ` Julien Lepiller
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 10/12] gnu: dune-bootstrap: Update to 3.10.0 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 11/12] gnu: opam: Split build into smaller sub-packages pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 12/12] FIXME: gnu: opam: Update to 2.1.5 pukkamustard
2023-08-17 20:54 ` Julien Lepiller
2023-08-15 21:25 ` [bug#64249] [PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1 Ludovic Courtès
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 00/12] The one where OPAM finally works pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 01/12] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 02/12] gnu: Update coq-flocq to 4.1.1 pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 03/12] gnu: Update coq-gappa to 1.5.3 pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 04/12] gnu: Update coq-coquelicot to 3.4.0 pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 05/12] gnu: Update coq-mathcomp to 1.17.0 pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 06/12] gnu: Update coq-autosubst to 1.8 pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 07/12] gnu: Update coq-stdpp to 1.8.0 pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 08/12] gnu: Update coq-interval to 4.8.0 pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 09/12] gnu: coq: Update to 8.17.1 pukkamustard
2023-09-12 11:31 ` [bug#64249] [PATCH] fixup! " Josselin Poiret via Guix-patches via
2023-09-20 6:43 ` pukkamustard
2023-09-12 6:57 ` [bug#64249] [PATCH ocaml-team v6 10/12] gnu: dune-bootstrap: Update to 3.10.0 pukkamustard
2023-09-12 6:57 ` [bug#64249] [PATCH ocaml-team v6 11/12] gnu: opam: Split build into smaller sub-packages pukkamustard
2023-09-12 6:57 ` [bug#64249] [PATCH ocaml-team v6 12/12] gnu: opam: Update to 2.1.5 pukkamustard
2023-09-22 14:21 ` [bug#64249] [PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1 Simon Tournier
2023-09-22 19:48 ` [bug#64249] [PATCH ocaml-team v6 12/12] gnu: opam: Update to 2.1.5 Julien Lepiller
2023-09-26 9:34 ` Julien Lepiller
2023-09-28 20:11 ` Julien Lepiller
2023-10-12 9:18 ` [bug#64249] [PATCH ocaml-team v6 00/12] The one where OPAM finally works pukkamustard
2023-10-12 10:24 ` Julien Lepiller
2023-10-24 16:00 ` [bug#64249] [PATCH v7 00/12] gnu: ocaml: Update to 4.14.1 - The one for CI pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 01/12] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 02/12] gnu: Update coq-flocq to 4.1.1 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 03/12] gnu: Update coq-gappa to 1.5.3 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 04/12] gnu: Update coq-coquelicot to 3.4.0 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 05/12] gnu: Update coq-mathcomp to 1.17.0 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 06/12] gnu: Update coq-autosubst to 1.8 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 07/12] gnu: Update coq-stdpp to 1.8.0 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 08/12] gnu: Update coq-interval to 4.8.0 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 09/12] gnu: coq: Update to 8.17.1 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 10/12] gnu: dune-bootstrap: Update to 3.11.0 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 11/12] gnu: opam: Split build into smaller sub-packages pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 12/12] gnu: opam: Update to 2.1.5 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 01/13] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 02/13] gnu: Update coq-flocq to 4.1.1 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 03/13] gnu: Update coq-gappa to 1.5.3 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 04/13] gnu: Update coq-coquelicot to 3.4.0 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 05/13] gnu: Update coq-mathcomp to 1.17.0 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 06/13] gnu: Update coq-autosubst to 1.8 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 07/13] gnu: Update coq-stdpp to 1.8.0 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 08/13] gnu: Update coq-interval to 4.8.0 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 09/13] gnu: coq: Update to 8.17.1 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 10/13] gnu: dune-bootstrap: Update to 3.11.0 pukkamustard
2023-11-03 11:50 ` pukkamustard [this message]
2023-11-03 11:50 ` [bug#64249] [PATCH v8 12/13] gnu: ocaml-opam-file-format: Update to 2.1.6 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 13/13] gnu: opam: Update to 2.1.5 pukkamustard
2023-11-08 19:14 ` DABY-SEESARAM Arnaud via Guix-patches via
2023-12-23 17:53 ` [bug#64249] OCaml-related updates Arnaud Daby-Seesaram via Guix-patches via
2023-12-24 13:07 ` Julien Lepiller
2023-12-24 16:43 ` [bug#64249] [PATCH 0/9] Fix frama-c ds-ac--- via Guix-patches via
2024-01-10 7:34 ` Julien Lepiller
2023-12-24 16:43 ` [bug#64249] [PATCH 1/9] gnu: why3: Update to 1.6.0 ds-ac--- via Guix-patches via
2023-12-24 16:43 ` [bug#64249] [PATCH 2/9] gnu: Add ocaml-ppx-deriving-yojson ds-ac--- via Guix-patches via
2023-12-24 16:43 ` [bug#64249] [PATCH 3/9] gnu: Add ocaml-junit ds-ac--- via Guix-patches via
2023-12-24 16:43 ` [bug#64249] [PATCH 4/9] gnu: Add ocaml-junit-alcotest ds-ac--- via Guix-patches via
2023-12-24 16:43 ` [bug#64249] [PATCH 5/9] gnu: Add ocaml-yaml ds-ac--- via Guix-patches via
2023-12-24 16:43 ` [bug#64249] [PATCH 6/9] gnu: Add ocaml-ppx-deriving-yaml ds-ac--- via Guix-patches via
2023-12-24 16:43 ` [bug#64249] [PATCH 7/9] gnu: Add ocaml-ppx-import ds-ac--- via Guix-patches via
2023-12-24 16:43 ` [bug#64249] [PATCH 8/9] gnu: Add ocaml-dune-site ds-ac--- via Guix-patches via
2023-12-24 16:43 ` [bug#64249] [PATCH 9/9] gnu: update frama-c to 27.1-Cobalt ds-ac--- via Guix-patches via
2024-01-10 7:43 ` [bug#64249] [PATCH v9 01/34] gnu: ocaml: Update to 4.14.1 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 02/34] gnu: Update coq-flocq to 4.1.1 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 03/34] gnu: Update coq-gappa to 1.5.3 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 04/34] gnu: Update coq-coquelicot to 3.4.0 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 05/34] gnu: Update coq-mathcomp to 1.17.0 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 06/34] gnu: Update coq-autosubst to 1.8 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 07/34] gnu: Update coq-stdpp to 1.8.0 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 08/34] gnu: Update coq-interval to 4.8.0 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 09/34] gnu: coq: Update to 8.17.1 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 10/34] gnu: dune-bootstrap: Update to 3.11.0 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 11/34] gnu: opam: Split build into smaller sub-packages Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 12/34] gnu: ocaml-alcotest: Update to 1.7.0 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 13/34] gnu: ocaml-sexplib: Update to 0.16.0 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 14/34] gnu: ocaml-ppxlib: Update to 0.28 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 15/34] gnu: Add ocaml-ppx-stable-witness Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 16/34] gnu: ocaml-bin-prot: Update to 0.16.0 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 17/34] gnu: ocaml-ppx-bin-prot: " Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 18/34] gnu: ocaml-jst-config: " Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 19/34] gnu: ocaml-ppx-bench: " Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 20/34] gnu: Add ocaml-ppx-deriving-yojson Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 21/34] gnu: Add ocaml-junit Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 22/34] gnu: Add ocaml-junit-alcotest Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 23/34] gnu: Add ocaml-yaml Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 24/34] gnu: Add ocaml-ppx-deriving-yaml Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 25/34] gnu: Add ocaml-ppx-import Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 26/34] gnu: Add ocaml-pp Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 27/34] gnu: Add dune-ordering Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 28/34] gnu: Add dune-dyn Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 29/34] gnu: Add dune-stdune Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 30/34] gnu: Add dune-private-libs Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 31/34] gnu: Add dune-site Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 32/34] gnu: frama-c: Update to 27.1 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 33/34] gnu: ocaml-base64: Update to 3.5.1 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 34/34] gnu: opam: Update to 2.1.5 Julien Lepiller
2024-02-08 22:27 ` bug#64249: " Julien Lepiller
2024-01-28 14:54 ` [bug#64249] Gentle ping ds-ac via Guix-patches via
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=d85d9487c101b99106e01d28ac02c0de2bc85336.1699012157.git.pukkamustard@posteo.net \
--to=pukkamustard@posteo.net \
--cc=64249@debbugs.gnu.org \
--cc=julien@lepiller.eu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.