]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/META.helm-urimanager
projects / helm.git / blob
? search:


281b1260dc5dcc9aaab0e9a2f40dadfefcfa2eee
[helm.git] / helm / ocaml / META.helm-urimanager
1 requires="str"
2 version="0.0.1"
3 archive(byte)="uriManager.cmo"
4 archive(native)="uriManager.cmx"
5 linkopts=""
6 directory="/home/sacerdot/miohelm/ocaml/helm/urimanager"
Unnamed repository; edit this file 'description' to name the repository.