Commit 54c4e14b authored by François Bobot's avatar François Bobot
Browse files

Add jbuild configuration files

parent 3170e09f
(library (
(name farith_extracted)
(libraries (zarith farith_big))
(wrapped false)
))
(library (
(name farith)
(modules (farith))
(libraries (zarith farith_extracted))
(wrapped false)
))
(library (
(name farith_big)
(modules (farith_Big))
(libraries (zarith))
(wrapped false)
))
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment