File tree Expand file tree Collapse file tree 1 file changed +40
-0
lines changed
packages/regrade/regrade.0.1.0 Expand file tree Collapse file tree 1 file changed +40
-0
lines changed Original file line number Diff line number Diff line change 1+ # This file is generated by dune, edit dune-project instead
2+ opam-version: "2.0"
3+ synopsis: "Automatic homework grader"
4+ description: "Simple grading system based on regular expressions."
5+ maintainer: ["Samuel Mimram <
[email protected] >"]
6+ authors: ["Samuel Mimram <
[email protected] >"]
7+ license: "GPL-3.0-only"
8+ homepage: "https://github.com/smimram/regrade"
9+ bug-reports: "https://github.com/smimram/regrade/issues"
10+ depends: [
11+ "dune" {>= "2.9"}
12+ "ocaml" {>= "4.13"}
13+ "csv"
14+ "re" {>= "1.11.0"}
15+ "odoc" {with-doc}
16+ ]
17+ build: [
18+ ["dune" "subst"] {dev}
19+ [
20+ "dune"
21+ "build"
22+ "-p"
23+ name
24+ "-j"
25+ jobs
26+ "--promote-install-files=false"
27+ "@install"
28+ "@runtest" {with-test}
29+ "@doc" {with-doc}
30+ ]
31+ ["dune" "install" "-p" name "--create-install-files" name]
32+ ]
33+ dev-repo: "git+https://github.com/smimram/regrade.git"
34+ url {
35+ src: "https://github.com/smimram/regrade/archive/refs/tags/v0.1.0.tar.gz"
36+ checksum: [
37+ "md5=5dacf65f0beb1a00604422596d5074fd"
38+ "sha512=efd94e13c942074877307262b0ef120af8eaabafc01ecd2730abab988caee8c0407634e9f89cf877207f234dd7975d2b77fc2ad83dd24a2ffb3867ea2e34331d"
39+ ]
40+ }
You can’t perform that action at this time.
0 commit comments