diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-11-28 21:40:13 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-12-04 20:10:34 +0100 |
| commit | 936aa05209402dd399869ffae188db5dd5f67d69 (patch) | |
| tree | 281017ffb73bf324c0921f8efe836fcbc2d68eba /gnu/packages/coq.scm | |
| parent | 208e743415d7c36e9684851a31cc30dec16db2c3 (diff) | |
| download | patches-936aa05209402dd399869ffae188db5dd5f67d69.tar patches-936aa05209402dd399869ffae188db5dd5f67d69.tar.gz | |
gnu: Remove duplicate nlohmann-json-cpp package.
* gnu/packages/serialization.scm (nlohmann-json-cpp): Move variable ...
* gnu/packages/cpp.scm (nlohmann-json-cpp): ... here. Mark as deprecated by
JSON-MODERN-CXX.
* gnu/packages/jupyter.scm (xeus)[inputs]: Change NLOHMANN-JSON-CPP to
JSON-MODERN-CXX.
* gnu/packages/video.scm (mkvtoolnix)[inputs]: Likewise.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions