diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-07-13 21:04:11 +0200 |
|---|---|---|
| committer | 宋文武 <iyzsong@member.fsf.org> | 2023-07-22 11:29:31 +0800 |
| commit | 3ec8acd3dfe9f512acb8bfa3cf572d5de03d1a3b (patch) | |
| tree | e44318d6f1673f21ef34b381a901eda144d956cf /gnu/packages/cedille.scm | |
| parent | 03ae5bb866151de7c19561a7da6f477156e4b305 (diff) | |
gnu: agda-cubical: Update to 0.5.
* gnu/packages/agda.scm (agda-cubical): Update to 0.5.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
Diffstat (limited to 'gnu/packages/cedille.scm')
0 files changed, 0 insertions, 0 deletions