about summary refs log tree commit diff
path: root/pkgs/development/idris-modules
AgeCommit message (Expand)AuthorFilesLines
2021-01-25treewide: remove stdenv where not neededPavol Rusnak2-3/+3
2021-01-20treewide: editorconfig fixeszowoq1-1/+1
2021-01-19treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer2-3/+3
2021-01-17pkgs/development: stdenv.lib -> libPavol Rusnak1-3/+3
2020-11-09idris-modules: add final newline to TODO.mdSamuel Gräfenstein1-1/+1
2020-06-04Merge master into staging-nextFrederik Rietdijk1-1/+1
2020-06-01treewide: replace SRI hashesDaiderd Jordan1-1/+1
2020-05-12*-wrapper; Switch from `infixSalt` to `suffixSalt`John Ericson1-1/+1
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly79-80/+80
2020-03-20idrisPackages: add tf-random packageMike Sperber2-0/+25
2020-02-17idrisPackages.tparsec: 2019-09-19 -> 2020-02-11Alex Gryzlov1-3/+3
2019-12-15idrisPackages.tparsec: 2019-06-18 -> 2019-09-19Alex Gryzlov1-3/+6
2019-09-24idrisPackages.heyting-algebra: removeKierán Meinhardt2-29/+0
2019-09-24idrisPackages.heyting-algebra: mark as brokenKierán Meinhardt1-0/+2
2019-08-07add options for build idris package (#65666)Silvan Mosberger1-4/+8
2019-08-06build-idris-package: add options for idris commandsMarco Perone1-4/+8
2019-08-02idrisPackages: Fix overrides not applyingSilvan Mosberger1-5/+5
2019-07-28idrisPackages.sdl2: 2018-01-19 -> 0.1.1Steven Shaw1-8/+15
2019-06-21idrisPackages.tparsec: 2018-12-21 -> 2019-06-18Alex Gryzlov1-3/+3
2019-04-28idrisPackages.build-idris-package: Install binariesSilvan Mosberger1-0/+12
2019-04-28Merge pull request #58320 from Infinisil/fix-idris-glfwSilvan Mosberger1-0/+6
2019-03-26idrisPackages.idris-wrapper: Use stdenv's cc instead of always gccSilvan Mosberger1-2/+2
2019-03-26idrisPackages.idris-wrapper: Fix linking to gmp librarySilvan Mosberger1-2/+4
2019-03-26idrisPackages.glfw: Fix runtimeSilvan Mosberger1-0/+6
2019-02-05idrisPackages.tparsec: 2018-11-09 -> 2018-12-21TG ⊗ Θ1-3/+3
2019-01-04idris-modules/curses.nix: deleteJakob Brünker2-35/+0
2018-12-20idrisPackages.tparsec: 2018-06-26 -> 2018-11-09TG ⊗ Θ1-3/+3
2018-10-26idrisPackages.{categories,derive}: Use upstream instead of forksSilvan Mosberger2-7/+5
2018-09-18build-idris-package: ipkgNameTG x23-41/+40
2018-08-04idrisPackages.quantities: init at 2018-04-17Imuli2-0/+24
2018-08-02idrisPackages.graphviz: fix homepage (#44355)Imuli1-1/+1
2018-07-21pkgs/*: remove unreferenced function argumentsvolth1-1/+1
2018-07-16idris: prefix package derivation names with "idris-"Silvan Mosberger1-1/+1
2018-07-08Merge pull request #42861 from Infinisil/fix/idris-forksSilvan Mosberger83-434/+119
2018-07-05build-idris-package: includePreludeBase -> noPrelude, noBaseSilvan Mosberger2-5/+9
2018-07-02idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix buildSilvan Mosberger1-3/+3
2018-07-02idrisPackages.eternal: 2018-01-25 -> 2018-07-02, fix buildSilvan Mosberger1-3/+3
2018-07-02idrisPackages.derive: 2018-02-15 -> 2018-07-02, fix buildSilvan Mosberger1-4/+5
2018-07-02idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix buildSilvan Mosberger1-4/+5
2018-07-02idrisPackages.tparsec: 2017-12-12 -> 2018-06-26, fix buildSilvan Mosberger1-3/+3
2018-07-02idrisPackages.setoids: 2017-03-13 -> 2018-06-18, fix buildSilvan Mosberger1-3/+6
2018-07-02idrisPackages.{sdl,sdl2}: Mark as brokenSilvan Mosberger2-0/+4
2018-07-02idrisPackages.descncrunch: Mark as brokenSilvan Mosberger1-0/+1
2018-07-02idrisPackages: Clean up packagesSilvan Mosberger80-397/+65
2018-07-02idris: Clean up package builderSilvan Mosberger3-19/+21
2018-07-02idrisPackages: install docsSilvan Mosberger1-0/+1
2018-07-02idris: Clean up wrapperSilvan Mosberger2-14/+10
2018-07-02idris: Wrap with IDRIS_CCSilvan Mosberger1-1/+2
2018-06-26idrisPackages.bi: 2018-01-17 -> 2018-06-25 (#42621)Silvan Mosberger1-3/+3
2018-05-25treewide: use appendToName where appropriateMatthew Bauer1-3/+3
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 11:48:36 +0000