summaryrefslogtreecommitdiffstats
path: root/pkgs/development/compilers/bluespec
AgeCommit message (Expand)Author
2024-03-31bluespec: 2023.01 -> 2024.01Jack Cummings
2023-11-05bluespec: replace texlive.combined.scheme-full with texliveFullVincenzo Mantova
2023-03-28bluespec: 2022.1 -> 2023.1Jack Cummings
2023-01-21treewide: switch to nativeCheckInputsGuillaume Girol
2022-07-26bluespec: set mainProgram=bscAustin Seipp
2022-04-09bluespec: 2021.07 -> 2022.01David Anderson
2021-08-31whitespaceJack Cummings
2021-08-31bluespec: style changes, checkInputsJack Cummings
2021-08-31whitespaceJack Cummings
2021-08-31bluespec: use only 'check-smoke' for nowJack Cummings
2021-08-31whitespaceJack Cummings
2021-08-31bluespec: unstable-2021.03.29 -> 2021.07Jack Cummings
2021-04-03bluespec: unstable-2021.02.14 -> 2021.03.29Austin Seipp
2021-02-22bluespec: unstable-2020.11.04 -> unstable-2021.02.14Austin Seipp
2021-01-23pkgs/development/compilers: stdenv.lib -> libBen Siraphob
2021-01-19treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer
2020-11-25bluespec: unstable-2020.02.09 -> unstable-2020.11.04Jack Cummings
2020-11-11bluespec maintainer flokli -> jcumming (#103487)Jack Cummings
2020-07-24bluespec: Fix build without ghc 844Malte Brandy
2020-07-24bluespec: mark package as broken because it depends on dropped ghc-8.4.4Peter Simons
2020-02-26bluespec: install utilities, tooAustin Seipp
2020-02-10bluespec: init at unstable-2020.02.09Florian Klink