Ubuntu
dune-common package

Change logs for dune-common source package in Mantic

  1. Mantic (23.10)
  2. Change log 
  • dune-common (2.9.0-3) unstable; urgency=medium

  * d/patches: Backported upstream GCC-13 compile fix
      (Closes: #1037630)

 -- Markus Blatt <email address hidden>  Thu, 13 Jul 2023 08:20:17 +0200
  • dune-common (2.9.0-2) unstable; urgency=medium

  * Upload to unstable
  * d/patches: Prevent build-path from appearing in downstream DUNE modules
  * d/control: Added Markus Blatt as uploader (with consent of Ansgar)

 -- Markus Blatt <email address hidden>  Thu, 12 Jan 2023 16:39:41 +0100