Skip to content

Commit c1be344

Browse files
JasonGrossJasonGross
committed
Add dev version to opam file
1 parent c3633c1 commit c1be344

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎coq-rewriter.opam‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11

22
opam-version: "2.0"
3+
version: "dev"
34
authors: [
45
"Google Inc."
56
"Massachusetts Institute of Technology"

0 commit comments

Comments
 (0)