swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-10-20 20:53:19 +02:00
Code Issues Packages Projects Releases Wiki Activity
234321 commits 5 branches 0 tags 31 GiB
Commit graph

3 commits

Author SHA1 Message Date
davlum a554e12833
idris2: fix build on macOS (#89548) 
The idris2 Makefile tries to use different versions of sed depending on
the OS, but nix always uses the same version. Because the version of
sed that is expected on macOS doesn't exist in the nix environment, the
build fails. Setting the OS to empty string resolves the issue.
 2020-06-07 18:06:35 -04:00
wchresta 7fc97cf30b idris2: 0.2.0-840e020 -> 0.2.0 
* Upgrade to release version of idris2
* Add config for proper testing phase
 2020-05-26 18:38:54 -04:00
wchresta 074c9cbe1c idris2: init at version 0.2.0-840e020 
A purely functional programming language with first class types
 2020-05-23 12:54:27 -04:00