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.2.tar.gz"
43 checksum: [
44 "md5=3cc65e164058c9c104b840e3b3af112d"
45 "sha512=c3aac61fbafc0985f9762e4737959a2d4e3b70895548e7c63d124cc94058420019e18b1d65a4a13d01c1dda568e3c03ef0db7bb2412fe4eafd0e30db5385f11b"
46 ]
47}