package merlin-of-pds
Simple script that turns a pds.conf into a .merlin file
Install
Dune Dependency
Authors
Maintainers
Sources
1.4.tar.gz
sha256=40584fb5134127a6b19be74cc787be6f2efea5c4d12ad3d01eddcfa5457b987e
md5=7392d566419232c46424fab4706570ff
Description
Published: 03 May 2017
Dev Dependencies
None
Used by (2)
Conflicts
None
On This Page