diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-09 16:25:53 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-09 16:25:53 +0900 |
| commit | 29c65d4bd4d0b015ae225ca22f9fc3cc4a110ce8 (patch) | |
| tree | de9cbe284bc009784bb3f1060ef236f9e8547666 /jobs/acl2-theorems.develop.before | |
| parent | 17744ca1cf942d28d8354f144f491e292f8bedc6 (diff) | |
guix-operate: Update.
Diffstat (limited to 'jobs/acl2-theorems.develop.before')
0 files changed, 0 insertions, 0 deletions