Code

coq_8_13: init at 8.13+β1#106427

Code

Merged

vbgl merged 1 commit intoNixOS:masterNixOS/nixpkgs:masterfrom vbgl:coq-8.13-beta1vbgl/nixpkgs:coq-8.13-beta1Copy head branch name to clipboardDec 15, 2020

+16-2

Commits

Commits on Dec 15, 2020

• coq_8_13: init at 8.13+β1

  vbgl

  committed
  2077ece

  Copy full SHA for 2077ece