diff options
| author | Alex Griffin <a@ajgrf.com> | 2020-04-07 16:42:17 +0000 |
|---|---|---|
| committer | Alex Griffin <a@ajgrf.com> | 2020-04-07 16:42:17 +0000 |
| commit | a66e21377de9131ef5d261c4754010e7206679ab (patch) | |
| tree | d90e7639f0c08a998300747283b34e669e6704b8 /nongnu/packages/gog.scm | |
| parent | 2a939c8d8b813d9941649691dddfcda3a751ca0d (diff) | |
| parent | 048de09ad8029b0ca31dfc59e600b691f5bd5c94 (diff) | |
Merge branch 'compcert' into 'master'
nongnu: Add compcert.
See merge request nonguix/nonguix!21
Diffstat (limited to 'nongnu/packages/gog.scm')
0 files changed, 0 insertions, 0 deletions