Code

findlib 1.9.8#287

Code

Merged

vbgl merged 2 commits intocoq-community:mastercoq-community/coq-nix-toolbox:masterfrom vbgl:findlib-1.9.8vbgl/coq-nix-toolbox:findlib-1.9.8Copy head branch name to clipboardNov 26, 2024

+2-2

Commits

Commits on Nov 20, 2024

• findlib 1.9.8

  vbgl

  committed
  813d462

  Copy full SHA for 813d462

Commits on Nov 26, 2024

• Update after NixOS/nixpkgs#357589

  vbgl

  committed
  d338443

  Copy full SHA for d338443