dev-ml/dune-build-info
Embed locations informations inside executable and libraries
ChangeLog
commit 90360c1b795593036964dd287087320ef25ad90c
Author: Alain Emilia Anna Zscheile <fogti+devel@ytrizja.de>
Date: Fri Apr 26 10:53:30 2024 +0200
dev-ml/*: add bumped versions of other dune libraries
Author: Alain Emilia Anna Zscheile <fogti+devel@ytrizja.de>
Date: Fri Apr 26 10:53:30 2024 +0200
dev-ml/*: add bumped versions of other dune libraries