diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2011-06-14 16:28:17 +0000 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2011-06-14 16:28:17 +0000 |
| commit | 3cf686b4fc18f62031a3e385a79b1576b7b79120 (patch) | |
| tree | ad09529fc3616f17e5f8e601534036a27fdb394a /pkgs/applications/science/logic/hol_light | |
| parent | 12c9ba62ac0876e65414b930491b3e75a9032a27 (diff) | |
| download | nixpkgs-3cf686b4fc18f62031a3e385a79b1576b7b79120.tar nixpkgs-3cf686b4fc18f62031a3e385a79b1576b7b79120.tar.gz nixpkgs-3cf686b4fc18f62031a3e385a79b1576b7b79120.tar.bz2 nixpkgs-3cf686b4fc18f62031a3e385a79b1576b7b79120.tar.lz nixpkgs-3cf686b4fc18f62031a3e385a79b1576b7b79120.tar.xz nixpkgs-3cf686b4fc18f62031a3e385a79b1576b7b79120.tar.zst nixpkgs-3cf686b4fc18f62031a3e385a79b1576b7b79120.zip | |
QEMU: Build with ncurses support.
svn path=/nixpkgs/trunk/; revision=27458
Diffstat (limited to 'pkgs/applications/science/logic/hol_light')
0 files changed, 0 insertions, 0 deletions