Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
build/pkgs/arb/patches/[flint.. silence-stderr-exponent-too-large].pa…
Browse files Browse the repository at this point in the history
…tch: Remove
  • Loading branch information
mkoeppe authored and dimpase committed Dec 7, 2020
1 parent ca088c9 commit 62fee73
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 85 deletions.
48 changes: 0 additions & 48 deletions build/pkgs/arb/patches/flint26comp.patch

This file was deleted.

37 changes: 0 additions & 37 deletions build/pkgs/arb/patches/silence-stderr-exponent-too-large.patch

This file was deleted.

0 comments on commit 62fee73

Please sign in to comment.