diff options
| author | Matias Goldfeld <[email protected]> | 2021-02-07 22:22:06 +0000 |
|---|---|---|
| committer | Matias Goldfeld <[email protected]> | 2021-02-07 22:22:06 +0000 |
| commit | d2310b014a7c96c3dc491b0d04e390b5f117d5bf (patch) | |
| tree | 71dc901013dc7ba565e5b14cde6b1b55ea7db3c0 | |
| parent | Removed unused dependency (diff) | |
| download | disml-d2310b014a7c96c3dc491b0d04e390b5f117d5bf.tar.xz disml-d2310b014a7c96c3dc491b0d04e390b5f117d5bf.zip | |
Removed generated version numbers
| -rw-r--r-- | disml.opam | 6 |
1 files changed, 1 insertions, 5 deletions
@@ -1,7 +1,3 @@ -version: "b499169-dirty" -version: "b499169-dirty" -version: "b499169-dirty" -version: "b499169-dirty" opam-version: "2.0" name: "disml" version: "0.2.5" @@ -41,4 +37,4 @@ build: [ ["dune" "subst"] {pinned} ["dune" "build" "-p" name "-j" jobs] ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc} -]
\ No newline at end of file +] |