simple-learning

Simple learning web program
git clone git://git.laack.co/simple-learning.git
Log | Files | Refs | README | LICENSE

zarith.1.14.pkg (456B)


      1 (version 1.14)
      2 
      3 (install
      4  (all_platforms
      5   (run %{make} install)))
      6 
      7 (build
      8  (all_platforms ((action (progn (run ./configure) (run %{make}))))))
      9 
     10 (depends
     11  (all_platforms
     12   (ocaml ocamlfind conf-pkg-config conf-gmp)))
     13 
     14 (source
     15  (fetch
     16   (url https://github.com/ocaml/Zarith/archive/release-1.14.tar.gz)
     17   (checksum
     18    sha512=8a7f3e82dfa5699c8dda54dd5398c712f3ac4fe04f5208d43d8ba198fb8152de5f91cbb59c15c0a4ba010d4dfcc79f52e405bdd0abbf2798167e9e4216bcb3dd)))