diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2020-01-08 19:03:12 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-01-08 21:56:05 +0100 |
| commit | 02fef9619bd96086aa9255ffb0944d4cda617c84 (patch) | |
| tree | db576a11ab1a7f3379271a059d31996bf3c809af /COPYING | |
| parent | 9d2c24d22780f6db8b2190905dcff6c8d498df56 (diff) | |
gnu: Boost: Update to 1.72.0.
* gnu/packages/patches/boost-dumpversion.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/boost.scm (boost): Update to 1.72.0.
[source](uri): Remove defunct mirror.
[source](patches): Remove.
[arguments]: Adjust /bin/sh substitutions. Remove obsolete workaround.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions