Antonio Nuno Monteiro 91137380e6 buildDunePackage: use --mandir instead of --man		2023-03-28 11:07:28 -07:00
..
dune.nix	buildDunePackage: use --mandir instead of --man	2023-03-28 11:07:28 -07:00
oasis.nix	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00