public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
292,094 Commits 1 Branch 0 Tags
4eb41db7d8f5aba19c0e05a99bc726476140fdb2
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Ben Siraphob 8ff27c0c09 coqPackages.relation-algebra: init 2021-05-17 10:17:18 +02:00
Ben Siraphob 915abd3f08 coqPackages.aac-tactics: init 2021-05-17 10:17:18 +02:00
Ben Siraphob c5a669d3f7 treewide: remove unzip where not needed 2021-05-16 19:29:28 -07:00
Ben Siraphob 75c67d6be9 torchat: use fetchFromGitHub 2021-05-16 19:29:28 -07:00
Ben Siraphob 682578af42 openjdk: move unzip to nativeBuildInputs 2021-05-16 19:29:28 -07:00
Ben Siraphob aba7bc983f openvino: move unzip to nativeBuildInputs 2021-05-16 19:29:28 -07:00
Ben Siraphob f986333023 lib/systems/parse: make isCompatible description clearer and more useful 
Stating that CPUs and the isCompatible relation forms a category (or
preorder) is correct but overtly technical.  We can state it more
clearly for readers unfamiliar with mathematics while retaining some
keywords to be useful to technical readers.
 2021-05-14 13:23:28 -07:00
Ben Siraphob 191f50f669 z88dk: 2.0 -> 2.1 2021-05-11 19:46:01 +07:00
Ben Siraphob 92c5a672b3 coqPackages.autosubst: 5b40a32e -> 1.7 and fix build 2021-05-10 12:40:32 +02:00
Ben Siraphob c72048d1a4 coqPackages.interval: 4.1.0 -> 4.1.1 2021-05-10 12:35:41 +02:00
Ben Siraphob 7209ede743 coqPackages.goedel: init at 8.12.0 2021-05-10 09:08:55 +02:00
Ben Siraphob ddc71c80de coqPackages.pocklington: init at 8.12.0 2021-05-10 09:08:55 +02:00
Ben Siraphob e7d5862f4e coqPackages.hydra-battles: init at 0.3 2021-05-10 09:08:55 +02:00
Ben Siraphob 418a37d99c coq2html: 20170720 -> 1.2 2021-05-09 22:00:15 +02:00
Ben Siraphob a4ba4770fb falcon: 2013-09-19 -> unstable-2018-10-23 2021-05-10 00:03:10 +07:00
Ben Siraphob a913f3ff49 nixos/tests/wmderland: remove stdenv.lib 2021-05-05 01:43:05 -04:00
Ben Siraphob 4ec2272826 top-level/coq-packages: remove dontDistribute 
In the GitHub discussion of 527bad18d0,
it was decided to allow Hydra to build coqPackages.
 2021-05-03 09:10:37 +07:00
Ben Siraphob 4b907c8891 mmv: 1.01b -> 2.0 2021-05-02 21:49:32 +07:00
Ben Siraphob a54ed3611b knightos-scas: 0.5.3 -> 0.5.5 2021-05-02 15:23:05 +07:00
Ben Siraphob 2fa2d15a7d knightos-mkrom : 1.0.3 -> 1.0.4 2021-05-02 13:43:21 +07:00
Ben Siraphob 970b82e7d0 coqtail-math: init at 20201124 2021-04-09 10:05:32 +02:00
Ben Siraphob 1d2e7637b6 strace: assert isLinux to avoid eval error on darwin (#114974) 
libunwind.supportsHost is not available on darwin because it uses a different libunwind package (https://github.com/NixOS/nixpkgs/blob/master/pkgs/os-specific/darwin/apple-source-releases/default.nix#L270) and changing the stdenv is a big overkill.
 2021-04-02 20:03:31 +02:00
Ben Siraphob 80d5498aa2 coqPackages.odd-order: init at 1.12.0 2021-03-31 08:31:08 +02:00
Ben Siraphob 11027de7ae koka: init at 2.1.1 2021-03-30 12:28:57 +02:00
Ben Siraphob fec1222b37 frangipanni: init at 0.4.0 2021-03-30 15:43:07 +07:00
Ben SiraphobandSandro 83f0eb535c python3Packages.labmath: init at 1.2.0 (#117882) 
* python3Packages.labmath: init at 1.2.0

* Update pkgs/development/python-modules/labmath/default.nix

Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
 2021-03-28 22:43:10 +02:00
Ben Siraphob 6a2a2d6503 julia: use system blas only when not darwin 2021-03-28 17:46:05 +07:00
Ben Siraphob b287d4d591 uwuify: init at 0.2.1 2021-03-26 19:06:23 +07:00
Ben Siraphob 2341ffeeaa coqPackages.fourcolor: init at 1.2.3 2021-03-26 10:55:48 +01:00
Ben Siraphob 7d97e284e8 treewide: remove redundant stdenv 2021-03-26 12:18:16 +07:00
Ben Siraphob f0d4a1ce7d tz: init at 0.4 2021-03-24 00:17:58 +07:00
Ben Siraphob ebb6205c7a sccache: remove platforms and fix darwin build 2021-03-22 21:55:32 +07:00
Ben Siraphob 5b8a0c92fe openjdk/darwin: move version out of name 2021-03-22 18:53:04 +07:00
Ben Siraphob 9398fc3c27 profile-cleaner: expand platforms to all 2021-03-22 15:56:00 +07:00
Ben Siraphob 4eda69a8ec kargo: expand platforms to all 2021-03-22 15:55:48 +07:00
Ben Siraphob 8e86eec6de pdf-parser: expand platforms to all 2021-03-22 15:55:34 +07:00
Ben Siraphob 55ce4c9b03 rmtrash: use stdenvNoCC 2021-03-22 15:47:11 +07:00
Ben Siraphob ea39c3ddab gnome-user-docs: expand platforms to all 2021-03-22 15:33:49 +07:00
Ben Siraphob b773fd7e2a fet-sh: 1.8 -> 1.9 2021-03-22 15:20:59 +07:00
Ben Siraphob 575e853bd9 clooj: add platforms 2021-03-22 15:07:25 +07:00
Ben Siraphob 1a12ffa3b3 urn: all platforms 2021-03-22 15:05:16 +07:00
Ben Siraphob d3c2b7f276 gopro: expand platforms to unix 2021-03-22 14:22:32 +07:00
Ben Siraphob 062e1ffa1b bento4: expand platforms to unix 2021-03-22 14:22:10 +07:00
Ben Siraphob d830ceb967 manuskript: expand platforms to unix 2021-03-22 12:47:52 +07:00
Ben Siraphob c77069b412 hecate: remove platforms 2021-03-22 12:47:40 +07:00
Ben Siraphob ca4e35218e trealla: init at 1.7.65 2021-03-20 14:20:19 +07:00
Ben Siraphob 32b366fd69 bash-supergenpass: expand platforms to all 2021-03-20 12:40:49 +07:00
Ben Siraphob eb260e60a6 surfraw: expand platforms to all 2021-03-20 12:40:49 +07:00
Ben Siraphob 6bdd008914 shc: expand platforms to all 2021-03-20 12:40:49 +07:00
Ben Siraphob ac568af804 rshijack: expand platforms to unix 2021-03-20 12:40:49 +07:00
Ben Siraphob 73e2aad637 redir: expand platforms to all 2021-03-20 12:40:49 +07:00
Ben Siraphob 50b767651d archivy: 1.0.2 -> 1.1.1 2021-03-19 14:58:13 +07:00
Ben Siraphob 0b0df15ec0 pixiewps: expand platforms to all 2021-03-19 13:19:48 +07:00
Ben Siraphob f17e07f3f2 pixiecore: expand platforms to unix 2021-03-19 13:19:38 +07:00
Ben Siraphob 452156e173 philter: expand platforms to all 2021-03-19 13:19:25 +07:00
Ben Siraphob 4ab35bcda6 pdfcrack: expand platforms to all 2021-03-19 13:18:54 +07:00
Ben Siraphob a3cce97946 gt5: expand platforms to all 2021-03-19 13:18:32 +07:00
Ben Siraphob bf5a6680e4 asc-key-to-qr-code-gif: expand platforms to unix 2021-03-19 12:24:59 +07:00
Ben Siraphob 28a16d05aa altermime: fix darwin build 2021-03-18 23:02:07 +07:00
Ben Siraphob bfde7b6b8d vimer: expand platforms to all 2021-03-18 23:02:07 +07:00
Ben Siraphob 65e9dd0348 spirv-cross: expand platforms to all 2021-03-18 23:02:07 +07:00
Ben Siraphob 2da233a186 sfeed: expand platforms to all 2021-03-18 23:02:07 +07:00
Ben Siraphob cc097672b9 imgurbash2: expand platforms to all 2021-03-18 23:02:06 +07:00
Ben Siraphob d93c9d4880 httperf: expand platforms to all 2021-03-18 23:02:06 +07:00
Ben Siraphob 2890ff4309 dhcping: expand platforms to unix 2021-03-18 23:02:06 +07:00
Ben Siraphob 84c06d2717 bash_unit: expand platforms to all 2021-03-18 23:02:06 +07:00
Ben Siraphob be473683ea ministat: expand platforms to all 2021-03-18 23:02:06 +07:00
Ben Siraphob dc3138d9b0 epstool: fix darwin build 2021-03-18 23:02:06 +07:00
Ben Siraphob e3e7090459 dejsonlz4: fix build on darwin 2021-03-18 23:02:06 +07:00
Ben Siraphob 3bced99816 zdelta: expand platforms to all and refactor 2021-03-18 23:02:05 +07:00
Ben Siraphob 3a05aac836 cdi2iso: expand platforms to all and refactor 2021-03-17 16:35:33 +07:00
Ben Siraphob 2dcf1351e9 mpd-mpris: expand platforms to unix 2021-03-17 16:28:09 +07:00
Ben Siraphob 9d60d860b5 idsk: expand platforms to all 2021-03-17 16:27:06 +07:00
Ben Siraphob 3458083b8a git-fire: expand platforms to all 2021-03-17 16:26:38 +07:00
Ben Siraphob e562843729 cpcfs: expand platforms to all 2021-03-17 16:26:22 +07:00
Ben Siraphob 1d4f05da4d catcli: expand platforms to all 2021-03-17 16:26:05 +07:00
Ben Siraphob b2c57112d8 bcunit: expand platforms to all 2021-03-17 16:25:35 +07:00
Ben Siraphob cacacac717 bbe: expand platforms to all 2021-03-17 16:25:16 +07:00
Ben Siraphob d4e2b08b79 apparix: expand platforms to all 2021-03-17 16:25:00 +07:00
Ben Siraphob dda5a4ebfd edit: 20160425 -> 20180228 
- Fix compilation on darwin
- Fix buildInputs specification
 2021-03-16 19:10:47 +07:00
Ben Siraphob 593629b7a9 routinator: fix darwin build 2021-03-14 11:40:51 +07:00
Ben Siraphob e79822050c midicsv: fix darwin build 2021-03-14 11:40:50 +07:00
Ben Siraphob da14f782bf analog: fix darwin build 2021-03-14 11:40:50 +07:00
Ben Siraphob 1a3b74cf75 p910nd: fix darwin build 2021-03-14 11:40:49 +07:00
Ben Siraphob 88ff5e40ea vcg: expand platforms to all 2021-03-14 11:40:49 +07:00
Ben Siraphob af96ff1194 utf8cpp: expand platforms to all 2021-03-14 11:40:49 +07:00
Ben Siraphob 03ec81f41f updt: expand platforms to all 2021-03-14 11:40:48 +07:00
Ben Siraphob 5c5dd90429 tllist: expand platforms to all 2021-03-14 11:40:48 +07:00
Ben Siraphob f1e0c9f6d5 swarm: expand platforms to unix 2021-03-14 11:40:48 +07:00
Ben Siraphob 843e700420 rocm-cmake: expand platforms to unix 2021-03-14 11:40:47 +07:00
Ben Siraphob d2005bd29c restya-board: expand platforms to unix 2021-03-14 11:40:47 +07:00
Ben Siraphob ad09618b6c r2mod_cli: expand platforms to unix 2021-03-14 11:40:47 +07:00
Ben Siraphob 29f5f8a98b tinyobjloader: expand platforms to all 2021-03-14 11:40:46 +07:00
Ben Siraphob 1030d6406f postsrsd: expand platforms to all 2021-03-14 11:40:46 +07:00
Ben Siraphob 45e990022e menmonicode: expand platforms to all 2021-03-14 11:40:46 +07:00
Ben Siraphob 14f6fef684 makefile2graph: expand platforms to all 2021-03-14 11:40:46 +07:00
Ben Siraphob b370464c26 lambda-mod-zsh-theme: expand platforms to all 2021-03-14 11:40:45 +07:00
Ben Siraphob 9706a8d8d1 vassal: expand platforms to unix 2021-03-12 13:05:00 +07:00
Ben Siraphob 773c4b840f tidyp: expand platforms to all 2021-03-12 13:05:00 +07:00
Ben Siraphob 87975ef433 spice-protocol: expand platforms to all 2021-03-12 13:05:00 +07:00