diff options
| author | Mathieu Othacehe <othacehe@gnu.org> | 2020-10-07 13:44:38 +0200 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-10-07 13:44:52 +0200 |
| commit | 19e6c4445f09606bfda72b2f36582021951e1e9c (patch) | |
| tree | a9eee51f0ade725ca468fa49a0468601ee505473 /gnu/packages/agda.scm | |
| parent | 5bc041dfd71ed7835d86f67935e9f7c70f31083b (diff) | |
| download | guix-19e6c4445f09606bfda72b2f36582021951e1e9c.tar guix-19e6c4445f09606bfda72b2f36582021951e1e9c.tar.gz | |
gnu: cuirass: Update to 0.0.1-51.cb2c4e3.
* gnu/packages/ci.scm (cuirass): Update to 0.0.1-51.cb2c4e3.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions