diff options
| author | Tomas Volf <~@wolfsden.cz> | 2024-12-17 20:07:12 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-12-23 20:45:32 +0100 |
| commit | 0eac0405402c967c524c508aa45497ebe1992fb3 (patch) | |
| tree | 89d8e274ce68ea5fdf68bcfe938027c0b2c3763e /gnu/packages/coq.scm | |
| parent | 11ddb60226fe16c19472c18e841f3e9522ba8cc1 (diff) | |
| download | guix-0eac0405402c967c524c508aa45497ebe1992fb3.tar.gz guix-0eac0405402c967c524c508aa45497ebe1992fb3.zip | |
gnu: passt: Update to 2024_12_11.09478d5.
* gnu/packages/containers.scm (passt): Update to 2024_12_11.09478d5.
Change-Id: Ib4dab58099337a711fdbca3d700804b8d251d7c7
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions