diff options
| author | John Wiegley <johnw@newartisans.com> | 2017-07-17 11:20:47 -0400 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2017-07-17 11:21:20 -0400 |
| commit | f130ecdd304847fc7c0b182b97f1dfdc0b76a7d6 (patch) | |
| tree | e4e18e3a5d91a77b6c13700ac5b682f2895534b0 /pkgs/development/python-modules/httpserver | |
| parent | 8253fc2ae56e089fe086942671f9e84c431f2277 (diff) | |
coqPackages.compcert: Recent compcert supports 64-bit architectures
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions