diff options
| author | John Wiegley <johnw@newartisans.com> | 2016-03-07 07:16:04 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2016-03-07 07:16:04 -0800 |
| commit | 0ee75214f336474e127c2e3546c0406a0c4d5fa7 (patch) | |
| tree | b7c7d50a4528b9fc5f64750b84eb56ec793be9fb /pkgs/development/libraries/libssh | |
| parent | 046e5011b42c8abad6005762185448ba53f23845 (diff) | |
| download | nixpkgs-0ee75214f336474e127c2e3546c0406a0c4d5fa7.tar nixpkgs-0ee75214f336474e127c2e3546c0406a0c4d5fa7.tar.gz nixpkgs-0ee75214f336474e127c2e3546c0406a0c4d5fa7.tar.bz2 nixpkgs-0ee75214f336474e127c2e3546c0406a0c4d5fa7.tar.lz nixpkgs-0ee75214f336474e127c2e3546c0406a0c4d5fa7.tar.xz nixpkgs-0ee75214f336474e127c2e3546c0406a0c4d5fa7.tar.zst nixpkgs-0ee75214f336474e127c2e3546c0406a0c4d5fa7.zip | |
proofgeneral_HEAD: New expr: Proof General from GitHub
Diffstat (limited to 'pkgs/development/libraries/libssh')
0 files changed, 0 insertions, 0 deletions