diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2024-08-31 14:28:55 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-08-31 14:28:55 +0200 |
| commit | b8327cb31199fb9f4ebed6c53a59601d41def5a1 (patch) | |
| tree | 69b5d70a6bc465355cfb73cff0008a9a9dbb7484 /gnu/packages/coq.scm | |
| parent | eadb8cdc9be4e2a5c1a4808169999e0e1737276c (diff) | |
| download | guix-b8327cb31199fb9f4ebed6c53a59601d41def5a1.tar guix-b8327cb31199fb9f4ebed6c53a59601d41def5a1.tar.gz | |
news: Add entry for ‘core-updates’ merge.
* etc/news.scm: Add entry.
Change-Id: Iac303170e69f8d3e34e224f3f0cfcf56ee1c555d
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions