diff options
| author | Aaron Andersen <aaron@fosslib.net> | 2019-11-06 18:02:48 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-06 18:02:48 -0500 |
| commit | c22e76e450a74ef5a027b9868c6f600d64b69909 (patch) | |
| tree | 1a3d3a22c45e8a15a361bdf4640b8151b827e9b0 /pkgs/development/coq-modules/equations | |
| parent | 94d4533e947c43bef35134ec8deba02bd988ab0a (diff) | |
| parent | 9ec808ae62a992c4d72f97270f0fe64b631f618d (diff) | |
Merge pull request #71605 from aanderse/redmine-cleanup
redmine: drop 3.4.x package, 4.0.4 -> 4.0.5
Diffstat (limited to 'pkgs/development/coq-modules/equations')
0 files changed, 0 insertions, 0 deletions