Skip to content

Commit a2c463a

Browse files
mserimseri
committed
Rename coq-waterproof version to reflect the tag
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
1 parent 1e00531 commit a2c463a

File tree

1 file changed

+0
-0
lines changed
  • packages/coq-waterproof/coq-waterproof.3.0.0+8.19.1

1 file changed

+0
-0
lines changed

‎packages/coq-waterproof/coq-waterproof.3.0.0+8.19/opam‎ renamed to ‎packages/coq-waterproof/coq-waterproof.3.0.0+8.19.1/opam‎

File renamed without changes.

0 commit comments

Comments
 (0)