swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-11-05 17:56:46 +01:00
Code Issues Packages Projects Releases Wiki Activity
385973 commits 5 branches 0 tags 31 GiB
Commit graph

17 commits

Author SHA1 Message Date
David Anderson c9346a6ac8 bluespec: 2021.07 -> 2022.01 
Current bsc releases ship a tarball of the expected version of the yices
source, so switch to using that rather than gamble on the nixpkgs yices
version.

Signed-off-by: David Anderson <dave@natulte.net>
 2022-04-09 11:29:27 -07:00
Jack Cummings 912565a708 whitespace 2021-08-31 16:53:58 -05:00
Jack Cummings 6e968a8550 bluespec: style changes, checkInputs 2021-08-31 16:53:58 -05:00
Jack Cummings 83088d4503 whitespace 2021-08-31 16:53:58 -05:00
Jack Cummings dea07960df bluespec: use only 'check-smoke' for now 2021-08-31 16:53:58 -05:00
Jack Cummings de2257e11c whitespace 2021-08-31 16:53:58 -05:00
Jack Cummings 67247c113e bluespec: unstable-2021.03.29 -> 2021.07 2021-08-31 16:53:58 -05:00
Austin Seipp 24ad481a61
bluespec: unstable-2021.02.14 -> 2021.03.29 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2021-04-03 09:58:05 -05:00
Austin Seipp eb01bbdf8c
bluespec: unstable-2020.11.04 -> unstable-2021.02.14 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2021-02-22 15:40:44 -06:00
Ben Siraphob acc5f7b18a pkgs/development/compilers: stdenv.lib -> lib 2021-01-23 08:57:37 +07:00
Jonathan Ringer 9bb3fccb5b treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix 
continuation of #109595

pkgconfig was aliased in 2018, however, it remained in
all-packages.nix due to its wide usage. This cleans
up the remaining references to pkgs.pkgsconfig and
moves the entry to aliases.nix.

python3Packages.pkgconfig remained unchanged because
it's the canonical name of the upstream package
on pypi.
 2021-01-19 01:16:25 -08:00
Jack Cummings d402d913d7
bluespec: unstable-2020.02.09 -> unstable-2020.11.04 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-11-25 10:06:35 -06:00
Jack Cummings d6af8fd0dc bluespec maintainer flokli -> jcumming (#103487) 2020-11-11 13:40:31 -08:00
Malte Brandy 8605e1c404
bluespec: Fix build without ghc 844 
ghc 8.4.4 was only required before the merge of

https://github.com/B-Lang-org/bsc/pull/42

which actually is already contained in the commit we are using.
 2020-07-24 17:02:47 +02:00
Peter Simons 30464da7b8 bluespec: mark package as broken because it depends on dropped ghc-8.4.4 
Ping @flokli and @thoughtpolice.
 2020-07-24 13:06:22 +02:00
Austin Seipp c134564c26
bluespec: install utilities, too 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-02-26 18:32:20 -06:00
Florian Klink c9ea6afe06 bluespec: init at unstable-2020.02.09 2020-02-10 00:44:22 +01:00