diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-02-14 03:45:11 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-02-14 03:50:18 +0100 |
| commit | d100b9bd97f27cf3257b1b14bb0f9b27a966c27e (patch) | |
| tree | cef84781c592cbc53cc828ccfc016c05630c78cb /gnu/packages/coq.scm | |
| parent | d71184f8a5c33c970ba0f50e9ca16b271da301b8 (diff) | |
| download | patches-d100b9bd97f27cf3257b1b14bb0f9b27a966c27e.tar patches-d100b9bd97f27cf3257b1b14bb0f9b27a966c27e.tar.gz | |
gnu: rrdtool: Update to 1.7.1.
* gnu/packages/rrdtool.scm (rrdtool): Update to 1.7.1.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions