about summary refs log tree commit diff
path: root/nixpkgs/pkgs/applications/science/logic/gappa/default.nix
Commit message (Expand)AuthorAge
* Merge branch 'nixos-unstable-small' of https://github.com/NixOS/nixpkgsAlyssa Ross2024-03-24
* Merge commit '18c84ea816348e2a098390101b92d1e39a9dbd45'Alyssa Ross2022-02-19
* Merge commit 'b09661d41fb93562fd53f31574dbf781b130ac44'Alyssa Ross2021-07-23
* Merge commit '7e567a3d092b7de69cdf5deaeb8d9526de230916'Alyssa Ross2021-06-23
* Merge commit '891f607d5301d6730cb1f9dcf3618bcb1ab7f10e'Alyssa Ross2021-01-26
* Merge commit '22a3bf9fb9edad917fb6cd1066d58b5e426ee975'Alyssa Ross2020-04-27
* Merge commit 'beff2f8d75ef2c65017fb25e251337c6bb2e950d'Alyssa Ross2019-08-14
* Add 'nixpkgs/' from commit 'abf060725d7614bd3b9f96764262dfbc2f9c2199'Alyssa Ross2019-01-07