Codebase list cryptgps / fa6665dd-6f19-4c51-856c-fe4722b71d05/main META
fa6665dd-6f19-4c51-856c-fe4722b71d05/main

Tree @fa6665dd-6f19-4c51-856c-fe4722b71d05/main (Download .tar.gz)

META @fa6665dd-6f19-4c51-856c-fe4722b71d05/mainraw · history · blame

1
2
3
4
version = "0.2.1"
requires = "bigarray"
archive(byte) = "cryptgps.cma"
archive(native) = "cryptgps.cmxa"