Code

lib: remove the lib fix-point#149881

Code

Closed

zimbatm wants to merge 2 commits intoNixOS:masterNixOS/nixpkgs:masterfrom zimbatm:no-lib-fixpointzimbatm/nixpkgs:no-lib-fixpointCopy head branch name to clipboard

+30-32

Commits

Commits on Dec 9, 2021

• lib: remove the lib fix-point

  Show description for 4ccea05
  zimbatm

  committed
  4ccea05

  Copy full SHA for 4ccea05

• agda: don't use the lib fix-point

  zimbatm

  committed
  e31eeaf

  Copy full SHA for e31eeaf