diff options
author | Artturi <Artturin@artturin.com> | 2023-11-16 23:01:16 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-16 23:01:16 +0200 |
commit | f31242fcfd14e870eb6898fc8849bc4dee883054 (patch) | |
tree | 938299ef0bd690598c94fab463484bab20755c27 /pkgs/development/libraries/gecode/3.nix | |
parent | 55462b05e1d24ac63dd0cc96349d0391b6392932 (diff) | |
parent | 775e58df4a3e4e58a12e358d3465e1d3964288b9 (diff) |
Merge pull request #267281 from a-kenji/add-main
Diffstat (limited to 'pkgs/development/libraries/gecode/3.nix')
0 files changed, 0 insertions, 0 deletions