diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-06-14 16:42:05 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-06-14 18:55:46 +0200 |
| commit | 1ba7a62362d332f1c059222ce177217860e5437d (patch) | |
| tree | a8e88f540a44e05fd73fe098b89ca19aa4d5c9fd /gnu/packages/patches/glog-gcc-5-demangling.patch | |
| parent | ecbac51a0c132b1b1369e2693516a0638b7a076c (diff) | |
| download | guix-1ba7a62362d332f1c059222ce177217860e5437d.tar.gz | |
gnu: python-nose-timer: Update to 0.7.2.
* gnu/packages/check.scm (python-nose-timer): Update to 0.7.2. [source]: Remove patch... * gnu/packages/patches/python-nose-timer-drop-ordereddict.patch: ...delete file... * gnu/local.mk (dist_patch_DATA): ...and remove it.
Diffstat (limited to 'gnu/packages/patches/glog-gcc-5-demangling.patch')
0 files changed, 0 insertions, 0 deletions