Revision 6966564ee731803367d7d7053b7db00abc760698 authored by Jason Gross on 24 January 2021, 17:36:07 UTC, committed by Jason Gross on 24 January 2021, 17:36:10 UTC
From The Coq Proof Assistant, version 8.12.2 (December 2020) compiled on Dec 29 2020 22:22:37 with OCaml 4.06.1
1 parent 0fa4028
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...