aboutsummaryrefslogtreecommitdiff
path: root/math/coq/distinfo
blob: 7545f2e3d298a34837ea8dc4ed18bc9e5a9b6f4c (plain) (blame) 
1
2
3

TIMESTAMP = 1739496231
SHA256 (coq-coq-V8.20.1_GH0.tar.gz) = 09ad238cc7930d59564b032be2a8a1fd10d6ef845364d739072d04090a6d3cc2
SIZE (coq-coq-V8.20.1_GH0.tar.gz) = 7842928
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-11 07:48:52 +0000