Skip to content
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
21 lines (13 sloc) 390 Bytes
opam-version: "2.0"
synopsis: "Sosa module implementation using zarith library"
maintainer: [ "Julien Sagot <>" ]
authors: [ "Daniel de Rauglaudre" ]
homepage: ""
dev-repo: "git://"
bug-reports: ""
build: [
["dune" "build" "-p" name "-j" jobs]
depends: [
You can’t perform that action at this time.