diff options
author | Cyril Cohen <cohen@crans.org> | 2019-03-05 13:56:55 +0100 |
---|---|---|
committer | Cyril Cohen <cohen@crans.org> | 2019-05-23 15:05:15 +0200 |
commit | c96ef6fc44c574de0ebc5b37882f8d6f4e2726a5 (patch) | |
tree | e23a40f462c52b0df40ab5f73abcbaa4ebc1f3f7 /doc | |
parent | edb1668130d26319ea15b68eff7e180bcc113dfd (diff) |
updating packages coqPackages.bignums and coqPackages.equations
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions