aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterMerge pull request #735 from math-comp/nixCyril Cohen5 years
 
 
AgeCommit messageAuthor
2021-04-01Merge pull request #735 from math-comp/nixHEADmasterCyril Cohen
2021-04-01update to last coq-nix-toolboxCyril Cohen
2021-03-25fix gotpodCyril Cohen
2021-03-24Merge pull request #728 from jouvelot/patch-1Kazuhiko Sakaguchi
2021-03-23Update mathcomp/ssreflect/path.v jouvelot
2021-03-23Update path.vjouvelot
2021-03-18Merge pull request #707 from CohenCyril/ident_name_silenceCyril Cohen
2021-03-17Merge pull request #725 from math-comp/nix_v2Cyril Cohen
2021-03-17upCyril Cohen
2021-03-15update vscoq to 0.3.4Cyril Cohen
[...]
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 05:10:34 +0000