this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "A small script to submit to Gradescope via GitHub"
4description: "Submits the current git repository to Gradescope"
5maintainer: ["nick@mittudev.com"]
6authors: ["Nikhil Mittu"]
7license: "MIT"
8tags: ["topics" "git" "gradescope" "https" "api"]
9homepage: "https://github.com/nmittu/gradescope-submit"
10doc: "https://github.com/nmittu/gradescope-submit"
11bug-reports: "https://github.com/nmittu/gradescope-submit/issues"
12depends: [
13 "ocaml" {>= "4.12"}
14 "dune" {>= "3.6"}
15 "core" {>= "v0.15.1"}
16 "core_unix" {>= "v0.15.2"}
17 "cohttp" {>= "5.0.0"}
18 "cohttp-lwt-unix" {>= "5.0.0"}
19 "lambdasoup" {>= "0.7.3"}
20 "toml" {>= "7.1.0"}
21 "yojson" {>= "2.0.2"}
22 "lwt_ssl" {>= "1.1.3"}
23 "odoc" {with-doc}
24]
25build: [
26 ["dune" "subst"] {dev}
27 [
28 "dune"
29 "build"
30 "-p"
31 name
32 "-j"
33 jobs
34 "@install"
35 "@runtest" {with-test}
36 "@doc" {with-doc}
37 ]
38]
39dev-repo: "git+https://github.com/nmittu/gradescope-submit.git"
40url {
41 src:
42 "https://github.com/nmittu/gradescope-submit/archive/refs/tags/2.0.1.tar.gz"
43 checksum: [
44 "md5=75e6fe0aed2cbabc5e6e945b7c69f76e"
45 "sha512=77e1c302832659cabb29348ab5b7b1738762fa7bbc2fc250dad6de2f6f4f8b76c4a24b1fca41bf9cc14de66f110bc42dbe10df60626487ce0d0def884adf6361"
46 ]
47}