tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-28 13:10:33 +02:00
Code Activity
Files
e3a39ade716eff98d2cdc2ebfced2efc021cbcd5
guix/gnu/packages/coq.scm
Tobias Geerinckx-Rice b92660afa4 gnu: coq: Update to 8.9.1. 
* gnu/packages/coq.scm (coq): Update to 8.9.1.
2019-06-07 18:36:02 +02:00

24 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink