summary refs log tree commit diff
path: root/pkgs/applications/science/logic/tamarin-prover
Commit message (Expand)AuthorAge
* tamarin-prover: install emacs-modeVincent Laporte2022-01-25
* tamarin-prover: 1.6.0 → 1.6.1Vincent Laporte2021-10-22
* tamarin-prover: Mark brokenMalte Brandy2021-05-11
* tamarin-prover: 1.4.1 → 1.6.0 (#100148)Vincent Laporte2020-10-13
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* tamarin-prover: mark as broken because upstream is brokenKierán Meinhardt2019-09-24
* tamarin-prover: 1.4.0 -> 1.4.1, bundled sapicAustin Seipp2019-01-19
* tamarin-prover: fix ghc 8.4 build (#46597)Maximilian Bosch2018-09-13
* pkgs/*: remove unreferenced function argumentsvolth2018-07-21
* tamarin-prover: 1.3.1 -> 1.4.0Austin Seipp2018-05-07
* tamarin-prover: Fix compile issuesWanja Chresta2018-05-07
* tamarin-prover: install vim syntax highlighting filesSymphorien Gibol2018-03-31
* tamarin-prover: 1.3.0 -> 1.3.1wchresta2018-03-08
* tamarin-prover: enable testsAustin Seipp2017-12-30
* nixpkgs: add sapic as a dependency to tamarin-proverAustin Seipp2017-12-30
* nixpkgs: add 'graphviz' to tamarin-prover dependenciesAustin Seipp2017-12-30
* nixpkgs: add tamarin-prover 1.3.0 (dev) toolAustin Seipp2017-12-30
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-12 08:07:09 +0000