summary refs log tree commit diff
path: root/pkgs/applications/science/logic/mcrl2/default.nix
Commit message (Expand)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
* 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
* pkgs/*: remove unreferenced function argumentsvolth2018-07-21
* treewide: http -> https sources (#42676)Silvan Mosberger2018-06-28
* 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
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-03 12:08:26 +0000