[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#33437] [PATCH] Add dune-build-system

From: Julien Lepiller
Subject: [bug#33437] [PATCH] Add dune-build-system
Date: Mon, 19 Nov 2018 23:25:37 +0100

Hi, here is a small patch series to add dune-build-system and convert a
few packages to it.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]