summary refs log tree commit diff
path: root/pkgs/applications/science/logic/mcrl2/default.nix
Commit message (Collapse)AuthorAge
* mcrl2: 201707 -> 202206Ben Darwin2022-07-27
|
* treewide: pkgs/applications: mark broken for darwinRick van Schijndel2022-05-29
|
* qtbase: Check for wrapQtAppsHook in setupHookThomas Tuegel2021-01-25
|
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
| | | | | | | | | | | | | | | | | | | Part of: https://github.com/NixOS/nixpkgs/issues/108938 meta = with stdenv.lib; is a widely used pattern. We want to slowly remove the `stdenv.lib` indirection and encourage people to use `lib` directly. Thus let’s start with the meta field. This used a rewriting script to mostly automatically replace all occurances of this pattern, and add the `lib` argument to the package header if it doesn’t exist yet. The script in its current form is available at https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
* treewide: cmake buildInputs to nativeBuildInputs, minor cleanupsBen Siraphob2021-01-01
|
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
|
* treewide: Get rid of libGLU_combinedadisbladis2019-11-18
|
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
| | | | | | | | | treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname
* pkgs/*: remove unreferenced function argumentsvolth2018-07-21
|
* treewide: http -> https sources (#42676)Silvan Mosberger2018-06-28
| | | | | | | | | * treewide: http -> https sources This updates the source urls of all top-level packages from http to https where possible. * buildtorrent: fix url and tab -> spaces
* treewide: http -> httpsRyan Mulligan2018-06-23
|
* treewide: s/xlibs/xorg/g (#36889)volth2018-03-13
|
* treewide: transition mesa to libGLU_combinedAlexander V. Nikolaev2018-02-24
|
* Revert "mcrl2: force use of gcc5 to prevent compilation errors"Franz Pletz2017-09-15
| | | | | | This reverts commit 5e5e57b57bc06119b63e07405a2550894e5bff83. Already fixed with edd94f5fcd077a9e7eb80102cc076a8f8bfe3524.
* mcrl2: force use of gcc5 to prevent compilation errorsMaarten Hoogendoorn2017-09-10
|
* mcrl2: 201409 -> 201707Markus Mueller2017-09-08
|
* mcrl2: 2009.01 -> 2014.09Maarten Hoogendoorn2016-04-12