New Upstream Release - flocq

• QA Page
• Maintainer email: debian-ocaml-maint@lists.debian.org
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-06-12T21:01 (took 32s)
• Branch URL: https://salsa.debian.org/ocaml-team/flocq.git -b master (taken from version 4.1.3-1)

Schedule a new run

No unpublished successful runs for flocq.

Historical runs

• nothing-to-do: Last upstream version 4.1.1 already imported.
• success: Merged new upstream version 4.1.1