summary refs log tree commit diff
path: root/pkgs/applications/science/logic/cvc4/default.nix
Commit message (Expand)AuthorAge
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* cvc4: fix homepage urlGabriel Ebner2018-07-16
* cvc4: 1.5 -> 1.6Gabriel Ebner2018-07-05
* treewide: http -> https sources (#42676)Silvan Mosberger2018-06-28
* cvc4: build in parallelWill Dietz2018-02-13
* cvc4: patch up fpu_control usageWill Dietz2018-02-13
* cvc4: unstable-2017-05-18 -> 1.5Austin Seipp2017-11-05
* misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson2017-09-21
* cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808)marcnnn2017-05-20
* cvc4: 1.4 -> 1.5pre-smtcomp2016Gabriel Ebner2016-07-24
* cvc4: fix the build by skipping line markers in cpp expansions during configu...Michael Raskin2016-03-31
* cvc4: regenerate ./configure on rebuildAustin Seipp2015-06-14
* nixpkgs/cvc4: touchups, add myself as maintainerAustin Seipp2015-06-14
* Revert "Introduce patchShebangsPhase ran in preConfigurePhases"Domen Kožar2015-01-08
* Introduce patchShebangsPhase ran in preConfigurePhasesDomen Kožar2015-01-02
* cvc4: new derivationVincent Laporte2014-10-12
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-19 16:46:48 +0000