diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2013-04-18 21:33:17 +0200 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2013-04-18 21:33:17 +0200 |
| commit | c859a467123f503ea25670a6a8812465feb4621c (patch) | |
| tree | 48d214d5bd25e516b68317c60c9c8ee30a2585b1 /pkgs/applications/science/logic/prover9 | |
| parent | 7716b78fc7330a88e1d5bfd31158294c2f9103ae (diff) | |
| download | nixlib-c859a467123f503ea25670a6a8812465feb4621c.tar nixlib-c859a467123f503ea25670a6a8812465feb4621c.tar.gz nixlib-c859a467123f503ea25670a6a8812465feb4621c.tar.bz2 nixlib-c859a467123f503ea25670a6a8812465feb4621c.tar.lz nixlib-c859a467123f503ea25670a6a8812465feb4621c.tar.xz nixlib-c859a467123f503ea25670a6a8812465feb4621c.tar.zst nixlib-c859a467123f503ea25670a6a8812465feb4621c.zip | |
xorg: update xorgserver to 1.13.4, and more
- update some modules to work with the newer server - fix many other modules via overrides - huge cleanup in overrides via better propagation and pixman include flattening - URLs of XCB stuff have been moved
Diffstat (limited to 'pkgs/applications/science/logic/prover9')
0 files changed, 0 insertions, 0 deletions