aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
koszkoAllow unauthorized `guix pull`W. Kosior3 months
koszko-scriptsAdd `koszko-vpn' branch.W. Kosior2 months
 
ref='/guix/commit/gnu/packages/coq.scm?id=9ec87c97854b11466008ee68c0bfe372ac69ab1b'>gnu: coq-core: Update to 8.16.1....Julien Lepiller