Revision - 764cca8 - Bump rupicola for coqutil compat with Coq 8.1{1,2}

Revision 764cca8306e6838f667dc1f02564d213cdde46b8 authored by Jason Gross on 21 September 2021, 18:59:27 UTC, committed by Jason Gross on 04 October 2021, 16:47:26 UTC

Bump rupicola for coqutil compat with Coq 8.1{1,2}

1 parent 1996790

Files
Changes

Permalinks

File	Mode	Size
c
zig

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...