diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-07-16 02:00:04 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-07-16 02:00:08 +0200 |
| commit | 51bf90c72e9c627f2bf8acb5556c5c6f9132cebe (patch) | |
| tree | 8440d1d329003be58872a351d998db3a47c57953 /gnu/packages/coq.scm | |
| parent | acd9d1b9b21c21f2774f01f7cb4b6185debb6fa2 (diff) | |
| download | guix-51bf90c72e9c627f2bf8acb5556c5c6f9132cebe.tar.gz guix-51bf90c72e9c627f2bf8acb5556c5c6f9132cebe.zip | |
gnu: mplayer: Update to 1.5.
* gnu/packages/video.scm (mplayer): Update to 1.5.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions