summaryrefslogtreecommitdiff
path: root/pkgs/development/idris-modules
AgeCommit message (Expand)Author
2026-04-01treewide: remove redundant name attrs and parseDrvName callsBen Siraphob
2026-02-23{idris, idrisPackages.idris}: set pname and versionHythera
2026-01-25treewide: remove references to the xorg namespace in `pkgs` (manual)quantenzitrone
2025-10-26idris-modules: lib.mapAttrsToList -> lib.attrValuesh7x4
2025-10-11idrisPackages.descncrunch: dropMichael Daniels
2025-10-04pkgs: remove optional builtins prefixes from prelude functionsNAHO
2025-07-24treewide: run nixfmt 1.0.0Wolfgang Walther
2025-04-08Revert "treewide: replace `rev` with `tag`"Winter
2025-04-07treewide: replace `rev` with `tag`Pol Dellaiera
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-11-27treewide: hide more deprecated stuff if allowAliases is falsejopejoe1
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2024-06-09treewide: Remove ending period from meta.descriptionAlexis Hildebrandt
2024-05-30idrisPackages.sdl: removeSigmanificient
2024-03-21treewide: remove licenses.agpl3Jussi Kuokkanen
2022-08-16treewide: makeWrapper buildInputs to nativeBuildInputsArtturin
2022-04-01config.allowAliases: Define as optionRobert Hensing
2022-02-23idris-modules: rename name to pnameFelix Buehler
2022-02-07idrisPackages.protobuf: move to alias setJonathan Ringer
2022-02-06idrisPackages.protobuf: removec0bw3b
2021-11-28build-idris-package: Use patchPhase for consistencyMaëlys Bras de fer
2021-05-09Merge pull request #122181 from divanorama/patch-2Silvan Mosberger
2021-05-08idrisPackages.data: remove broken package at 2018-03-19divanorama
2021-05-08idrisPackages.sdl2: fix sources sha256divanorama
2021-01-25treewide: remove stdenv where not neededPavol Rusnak
2021-01-20treewide: editorconfig fixeszowoq
2021-01-19treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer
2021-01-17pkgs/development: stdenv.lib -> libPavol Rusnak
2020-11-09idris-modules: add final newline to TODO.mdSamuel Gräfenstein
2020-06-04Merge master into staging-nextFrederik Rietdijk
2020-06-01treewide: replace SRI hashesDaiderd Jordan
2020-05-12*-wrapper; Switch from `infixSalt` to `suffixSalt`John Ericson
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2020-03-20idrisPackages: add tf-random packageMike Sperber
2020-02-17idrisPackages.tparsec: 2019-09-19 -> 2020-02-11Alex Gryzlov
2019-12-15idrisPackages.tparsec: 2019-06-18 -> 2019-09-19Alex Gryzlov
2019-09-24idrisPackages.heyting-algebra: removeKierán Meinhardt
2019-09-24idrisPackages.heyting-algebra: mark as brokenKierán Meinhardt
2019-08-07add options for build idris package (#65666)Silvan Mosberger
2019-08-06build-idris-package: add options for idris commandsMarco Perone
2019-08-02idrisPackages: Fix overrides not applyingSilvan Mosberger
2019-07-28idrisPackages.sdl2: 2018-01-19 -> 0.1.1Steven Shaw
2019-06-21idrisPackages.tparsec: 2018-12-21 -> 2019-06-18Alex Gryzlov
2019-04-28idrisPackages.build-idris-package: Install binariesSilvan Mosberger
2019-04-28Merge pull request #58320 from Infinisil/fix-idris-glfwSilvan Mosberger
2019-03-26idrisPackages.idris-wrapper: Use stdenv's cc instead of always gccSilvan Mosberger
2019-03-26idrisPackages.idris-wrapper: Fix linking to gmp librarySilvan Mosberger
2019-03-26idrisPackages.glfw: Fix runtimeSilvan Mosberger
2019-02-05idrisPackages.tparsec: 2018-11-09 -> 2018-12-21TG ⊗ Θ
2019-01-04idris-modules/curses.nix: deleteJakob Brünker
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-23 04:48:59 +0000