diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-09 16:24:24 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-09 16:24:24 +0900 |
| commit | 17744ca1cf942d28d8354f144f491e292f8bedc6 (patch) | |
| tree | 22e1ef765db7223b36fa98c4c5141161d536ae8f /jobs/acl2-verify.run | |
| parent | 88155900f1d4da06b21bbf801af9aa3efb85f09b (diff) | |
guix-operate: Update.
Diffstat (limited to 'jobs/acl2-verify.run')
0 files changed, 0 insertions, 0 deletions