diff options
| author | Benjamin Staffin <ben@folsomlabs.com> | 2015-05-29 02:08:25 -0700 |
|---|---|---|
| committer | Rok Garbas <rok@garbas.si> | 2015-05-29 11:16:33 +0200 |
| commit | 1db5bafc94abd0807b5f8bc1f59951cef073e70b (patch) | |
| tree | 1d50ac54d817ec34a5587146caaaeaa1b1369167 /pkgs/development/coq-modules/coqeal/default.nix | |
| parent | c7ac0ed3ebf3a270e5e32659c65f8a88d6deccb5 (diff) | |
| download | nixlib-1db5bafc94abd0807b5f8bc1f59951cef073e70b.tar nixlib-1db5bafc94abd0807b5f8bc1f59951cef073e70b.tar.gz nixlib-1db5bafc94abd0807b5f8bc1f59951cef073e70b.tar.bz2 nixlib-1db5bafc94abd0807b5f8bc1f59951cef073e70b.tar.lz nixlib-1db5bafc94abd0807b5f8bc1f59951cef073e70b.tar.xz nixlib-1db5bafc94abd0807b5f8bc1f59951cef073e70b.tar.zst nixlib-1db5bafc94abd0807b5f8bc1f59951cef073e70b.zip | |
Typo fix! s/wheezy/jessie/
Diffstat (limited to 'pkgs/development/coq-modules/coqeal/default.nix')
0 files changed, 0 insertions, 0 deletions