Code

relation-algebra 1.7.10 & 1.7.11#277

Code

Merged

vbgl merged 2 commits intocoq-community:mastercoq-community/coq-nix-toolbox:masterfrom vbgl:relation-algebra-1.7.11vbgl/coq-nix-toolbox:relation-algebra-1.7.11Copy head branch name to clipboardOct 24, 2024

+188-2

Commits

Commits on Oct 22, 2024

• relation-algebra 1.7.10 & 1.7.11

  vbgl

  committed
  b576917

  Copy full SHA for b576917

Commits on Oct 24, 2024

• Update after NixOS/nixpkgs#350405

  vbgl

  committed
  132ef63

  Copy full SHA for 132ef63