gnu/packages/coq.scm · 14af514bf028db4fb878f4a46e477aba21c34b48 · ogs / inf / Guix

5 years ago

Brett Gilio authored 5 years ago

* gnu/packages/coq.scm (coq-bignums)[arguments]: Fix comment spacing after
  disabling test phase.

14af514b

Brett Gilio authored 5 years ago

* gnu/packages/coq.scm (coq-bignums)[arguments]: Fix comment spacing after
  disabling test phase.

Code owners

Assign users and groups as approvers for specific file changes. Learn more.