about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/tlaplus
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt2-2/+2
2024-04-27treewide: wrapGAppsHook → wrapGAppsHook3Jan Tojnar1-2/+2
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2023-06-30tlaplus18: init at 1.8.0Michael Gregson1-0/+39
2023-05-10add myself to the maintainers listMichael Gregson1-1/+1
2023-05-10tlaplus: remove jdk dependencyMichael Gregson1-2/+1
2023-04-20tlaplus: 1.7.2 -> 1.7.3R. Ryantm1-2/+2
2023-02-03treewide: add strictDeps = true to most packages depending on ocamlUlrik Strid1-1/+3
2022-06-23treewide/applications: add `sourceType` `binaryNativeCode` for many packagesRobert Scott1-0/+1
2022-06-04treewide: set sourceProvenance for packages containing downloaded jarsRobert Scott1-0/+1
2022-05-12makeShellWrapper: add explicitly named attributeNaïm Favier1-2/+2
2022-05-10makeWrapper,makeBinaryWrapper: introduce explicitly named functionsNaïm Favier1-2/+2
2022-05-10tlaplusToolbox: use non-binary wrapper for wrapGAppsHookDominik Xaver Hörl1-1/+4
2022-03-19treewide/makeWrapper: replace `--run cd` with `--chdir`Naïm Favier1-1/+1
2022-02-28Merge pull request #160332 from florentc/tlapsBobby Rong1-4/+4
2022-02-25treewide: switch all desktop file generators to new APIK9001-4/+2
2022-02-16tlaps: 1.4.3 -> 1.4.5Florent C1-4/+4
2022-02-13tlaplus: 1.7.1 -> 1.7.2R. Ryantm1-2/+2
2021-11-25tlaplus: 1.7.0 -> 1.7.1Florent C1-20/+16
2021-08-16tlaplusToolbox: deprecate phasesFelix Buehler1-5/+12
2021-08-16tlaps: deprecate phasesFelix Buehler1-7/+11
2021-07-02tlaToolbox: fix crash on file open dialogSarunas Valaskevicius1-3/+11
2021-03-14tla-toolbox: 1.7.0 -> 1.7.1mucaho1-10/+16
2021-02-19treewide: makeWrapper buildInputs to nativeBuildInputsBen Siraphob2-2/+3
2021-01-16treewide: stdenv.lib -> libBen Siraphob3-8/+8
2020-11-29Merge pull request #92646 from r-ryantm/auto-update/tla-toolboxSandro1-2/+2
2020-07-07tlaplusToolbox: 1.6.0 -> 1.7.0R. RyanTM1-2/+2
2020-06-25treewide: remove deprecated value `Application` from makeDesktopItemzowoq1-1/+1
2020-09-09tlaplus: remove myself from maintainers listBadi Abdul-Wahid2-2/+2
2020-05-06tlaplus: 1.5.6 -> 1.7.0Yurii Rashkovskii1-6/+6
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly3-3/+3
2019-08-18Merge master into staging-nextFrederik Rietdijk1-6/+9
2019-08-17treewide: name -> pnamevolth1-1/+2
2019-08-15treewide: name -> pname (easy cases) (#66585)volth2-2/+2
2019-08-04tla+ toolbox: 1.5.7 -> 1.6.0Badi Abdul-Wahid1-6/+9
2018-08-30gnome-documents, tlaplus: fix glib referencesVladimír Čunát1-1/+1
2018-07-22Merge pull request #43899 from r-ryantm/auto-update/tla-toolboxFrederik Rietdijk1-2/+2
2018-07-21tlaplusToolbox: 1.5.6 -> 1.5.7R. RyanTM1-2/+2
2018-07-21pkgs/*: remove unreferenced function argumentsvolth1-4/+2
2018-04-16tlaplusToolbox: init at 1.5.6Badi Abdul-Wahid1-0/+77
2018-04-16tlaps: init at 1.4.3Badi Abdul-Wahid1-0/+56
2018-03-02tlaplus: init at 1.5.6Austin Seipp1-0/+40
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-10 03:11:51 +0000