diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2018-07-17 23:25:00 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2018-07-17 23:36:56 +0200 |
| commit | 16dc5ed0396a2edfb4e7f729ec43392c74ebdc7a (patch) | |
| tree | 5d441bbb026ca7c1c837a8c8af42498b583b2628 /gnu/packages/display-managers.scm | |
| parent | 3078002716aaf5166d430d0311190eaf5ffe64c7 (diff) | |
| download | patches-16dc5ed0396a2edfb4e7f729ec43392c74ebdc7a.tar patches-16dc5ed0396a2edfb4e7f729ec43392c74ebdc7a.tar.gz | |
gnu: php: Update to 7.2.7.
* gnu/packages/php.scm (php): Update to 7.2.7.
Diffstat (limited to 'gnu/packages/display-managers.scm')
0 files changed, 0 insertions, 0 deletions