diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2011-05-14 21:09:57 +0000 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2011-05-14 21:09:57 +0000 |
| commit | 8e5beab31fadcfde003ae94a84fe89f3f2244290 (patch) | |
| tree | 3bb46c0f98f7ea46a726fb2f9c3e7f63778e5a5d /pkgs/games/mars | |
| parent | 503f04ca546da08c7479ba5ae5730a235df06c3b (diff) | |
| download | nixpkgs-8e5beab31fadcfde003ae94a84fe89f3f2244290.tar nixpkgs-8e5beab31fadcfde003ae94a84fe89f3f2244290.tar.gz nixpkgs-8e5beab31fadcfde003ae94a84fe89f3f2244290.tar.bz2 nixpkgs-8e5beab31fadcfde003ae94a84fe89f3f2244290.tar.lz nixpkgs-8e5beab31fadcfde003ae94a84fe89f3f2244290.tar.xz nixpkgs-8e5beab31fadcfde003ae94a84fe89f3f2244290.tar.zst nixpkgs-8e5beab31fadcfde003ae94a84fe89f3f2244290.zip | |
Fix building of Isabelle2011
svn path=/nixpkgs/trunk/; revision=27253
Diffstat (limited to 'pkgs/games/mars')
0 files changed, 0 insertions, 0 deletions