diff options
| author | R. Ryantm <ryantm-bot@ryantm.com> | 2021-10-29 09:58:00 +0000 |
|---|---|---|
| committer | R. Ryantm <ryantm-bot@ryantm.com> | 2021-10-29 09:58:00 +0000 |
| commit | 602aa1fffe7ec9699a446e04bdede4df39f71997 (patch) | |
| tree | c79d4c81efc6ac91dbb745dec0ac0ec580c29787 /pkgs/development/coq-modules/extructures | |
| parent | 842a0d94cbb0a385854e15d4f6fde57714981abd (diff) | |
dictu: 0.20.0 -> 0.22.0
Diffstat (limited to 'pkgs/development/coq-modules/extructures')
0 files changed, 0 insertions, 0 deletions