Code

Fix coq-bignums packages spec#1346

Code

Merged

palmskog merged 3 commits intocoq:mastercoq/opam:masterfrom erikmd:fix-coq-bignumserikmd/opam-coq-archive:fix-coq-bignumsCopy head branch name to clipboardJul 26, 2020

+22-34

Commits

Commits on Jul 26, 2020

• [extra-dev & released] Fix coq-bignums license metadata

  erikmd

  committed
  fa8fbda

• [extra-dev & released] Fix some coq-bignums opam files

  Show description for c301243
  erikmd

  committed
  c301243

• fix(coq-bignums): conditionally add -j in coq-makefile command

  Show description for ffa9726
  erikmd

  committed
  ffa9726