diff options
| author | John Wiegley <johnw@newartisans.com> | 2019-01-31 11:55:28 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2019-01-31 11:56:07 -0800 |
| commit | 7239ffcc3c2b24b2b8505fef865dfc10e35b0593 (patch) | |
| tree | 735e36716d2ffce270d9d06d5b77eadf1e2d52ae /pkgs/development/python-modules/httpserver | |
| parent | 8020bd6869032e65a55428fa04f2efb81af1e9df (diff) | |
coqPackages.equations: 1.2-beta-8.9 for coq_8_9
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions