about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/mcrl2
AgeCommit message (Expand)AuthorFilesLines
2019-11-18treewide: Get rid of libGLU_combinedadisbladis1-2/+2
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2018-07-21pkgs/*: remove unreferenced function argumentsvolth1-2/+1
2018-06-28treewide: http -> https sources (#42676)Silvan Mosberger1-1/+1
2018-06-23treewide: http -> httpsRyan Mulligan1-1/+1
2018-03-13treewide: s/xlibs/xorg/g (#36889)volth1-1/+1
2018-02-24treewide: transition mesa to libGLU_combinedAlexander V. Nikolaev1-2/+2
2017-09-15Revert "mcrl2: force use of gcc5 to prevent compilation errors"Franz Pletz1-2/+2
2017-09-10mcrl2: force use of gcc5 to prevent compilation errorsMaarten Hoogendoorn1-2/+2
2017-09-08mcrl2: 201409 -> 201707Markus Mueller1-6/+5
2016-04-12mcrl2: 2009.01 -> 2014.09Maarten Hoogendoorn1-0/+31