agda

agdaWithPackages 2.8.0 · pkgs/development/haskell-modules/generic-builder.nix

Health

Risk

risk 1 low

+1 meta.description starts with an article

Version

2.8.0 no newer release known to repology

Channels

master 2.8.0 · nixos-unstable 2.8.0 · nixos-26.05 2.8.0 no channel is behind master

Hydra

succeeded 2d ago

Advisories

none open

Packaging

meta.description starts with an article

Packagewhat each field means

Description

A dependently typed functional programming language and proof assistant

Homepage

https://hackage.haskell.org/package/Agda

License

MIT

Platforms

79 platforms: Linux, Darwin

Main program

agda

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free

Position

pkgs/development/haskell-modules/generic-builder.nix:1103

Maintainers

iblech, ncfavier, turion

Version bumps 0

all open bumps

None open.

Pull requests 23

agda: make infrastructure aware of Mikan

#572074 by ncfavier · opened 8d ago

haskellPackages: name the cross compiler by path

#565246 by dyegoaurelio · opened 3w ago · checks pass

haskell: enable shared libraries for GHC's wasm interpreter

#558928 by ilkecan · opened 6w ago

haskell-modules/generic-builder: move logic to higher scope

#546701 by llakala · opened 2mo ago

haskellPackages: avoid massive chain of optionalAttrs

#542082 by llakala · opened 3mo ago · checks fail

haskellPackages.mkDerivation: avoid sed-ing missing file draft

#529907 by sternenseemann · opened 4mo ago

haskellPackages: enable strictDeps by default draft

#511230 by alexfmpe · opened 6mo ago

haskellPackages.tasty: set -j value matching $NIX_BUILD_CORES draft

#507578 by sternenseemann · opened 6mo ago

haskellPackages: enable split sections on darwin

#503187 by alexfmpe · opened 6mo ago

haskell: allow direct -package-db of haskell derivations draft

#501773 by lf- · opened 7mo ago

haskell: Split GHC and Haskell libs into separate outputs draft

#501668 by avdv · opened 7mo ago

haskellPackages: support cross tests in checkPhase draft

#468007 by alexfmpe · opened 10mo ago · checks pass

haskellPackages: running cross tests draft

#451928 by alexfmpe · opened 12mo ago · checks fail

haskellPackages: support template-haskell and test suites when cross compiling draft

#445672 by alexfmpe · opened 12mo ago · checks pass

haskell.compiler.*: allow opting in to using lld as the linker

#416089 by TeofilC · opened 16mo ago

haskell-generic-builder: fix bug when buildTarget does not depend on library

#392228 by thomie · opened 19mo ago · checks pass

haskellModules/generic-builder.nix: add packageIndexUrl argument

#358686 by locallycompact · opened 23mo ago

[WIP] devShellTools.buildShellEnv draft

#330822 by roberth · opened 2y ago · checks pass

haskell-modules/generic-builder.nix: Allow running Haskell tests as passthru.tests

#305958 by TeofilC · opened 2y ago · checks fail

haskellPackages.mkDerivation: add support for --enable-relocatable draft

#201776 by sternenseemann · opened 3y ago

haskellPackages.mkDerivation: only set mainProgram if isExecutable

#172094 by sternenseemann · opened 4y ago

WIP: haskell/generic-builder: add benchmarkPhase

#128012 by jmininger · opened 5y ago

stdenv, treewide: Better configure platforms draft

#60166 by Ericson2314 · opened 7y ago

Closed or merged in the last 60 days 10

haskell.generic-builder: select matching Haddock when cross documentation is enabled

#553415 by ilkecan · merged 7w ago

haskell.generic-builder: support GHC's wasm interpreter

#553410 by ilkecan · merged 7w ago

haskell.compiler.ghc966DebianBinary: bootstrap natively on riscv64-linux

#549823 by liberodark · merged 7w ago

haskellPackages: allow local networking when using iserv-proxy

#497113 by alexfmpe · merged 7mo ago

haskellPackages: don't use external interpreter by default in ghcjs

#490294 by alexfmpe · merged 7mo ago

haskellPackages.iserv-proxy: fix on GHC 9.6

#488080 by alexfmpe · merged 7mo ago

haskellPackages: iserv-proxy fixes for pkgsCross.ucrt64

#479902 by alexfmpe · merged 8mo ago

haskell-modules/generic-builder.nix: undo hook workaround

#329529 by reckenrode · merged 2y ago

haskell-modules/generic-builder.nix: work around int conversion errors

#267349 by reckenrode · merged 2y ago

haskell-modules/generic-builder.nix: set NIX_LDFLAGS at the top level

#266878 by reckenrode · merged 2y ago

Issues 5

Some haskellPackages on x86_64-darwin have a broken package db due to store corruption on a Hydra builder 6.topic: darwin 6.topic: haskell 2.status: stale

#356741 by gador · opened 23mo ago · 7 comments

haskellPackages: remove dependency of $out on $doc 6.topic: haskell 6.topic: closure size 2.status: stale

#87267 by Profpatsch · opened 6y ago · 3 comments

Grep for "serious configure-time warning" in Haskell generic builder is not precise enough 6.topic: haskell 2.status: stale

#44812 by mpickering · opened 8y ago · 2 comments

generic-haskell-builder: Overridden Cabal package to be used by Setup.hs is ignored 6.topic: haskell 6.topic: cross-compilation 2.status: stale

#43849 by nh2 · opened 8y ago · 9 comments

haskell: All boot libraries get added to pkgdb 6.topic: haskell 2.status: stale

#42069 by kirelagin · opened 8y ago · 16 comments