diff options
| author | Pierre Neidhardt <mail@ambrevar.xyz> | 2020-03-05 10:28:50 +0100 |
|---|---|---|
| committer | Pierre Neidhardt <mail@ambrevar.xyz> | 2020-03-06 10:20:55 +0100 |
| commit | 6d26ee3b67d8a74655df63ab273522bfd3537d64 (patch) | |
| tree | 61b3ddfc7a951aed91ba917f4dd2d7e58f0ec820 /gnu/packages/agda.scm | |
| parent | 8be782c7139bb3cfc3b3798cd66fae40fe4baf2b (diff) | |
| download | guix-6d26ee3b67d8a74655df63ab273522bfd3537d64.tar.gz | |
gnu: Add soci.
* gnu/packages/databases.scm (soci): New variable.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions