diff options
| author | Pierre Neidhardt <mail@ambrevar.xyz> | 2023-06-05 15:24:46 +0300 |
|---|---|---|
| committer | Pierre Neidhardt <mail@ambrevar.xyz> | 2023-06-06 09:27:00 +0200 |
| commit | 4f487e1a2b4da26280914ac771f1577a74f4166c (patch) | |
| tree | 7e0e28ab6c32f2bcc5e380456bfafd8f88de2400 /nongnu/packages/coq.scm | |
| parent | dd7519aa20948e42469eccc3c7c99c1633420a07 (diff) | |
nongnu: Add electron.
* nongnu/packages/electron.scm (electron): New variable.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions