Skip to content

Add ubuntu-family distribution support to lmdb.1.0#28986

Merged
mseri merged 1 commit intoocaml:masterfrom
jmid:lmdb-ubuntu-fix
Dec 3, 2025
Merged

Add ubuntu-family distribution support to lmdb.1.0#28986
mseri merged 1 commit intoocaml:masterfrom
jmid:lmdb-ubuntu-fix

Commits

Commits on Nov 28, 2025