]> git.pld-linux.org Git - packages/xmonad.git/log
packages/xmonad.git
14 months ago- release 4 master auto/th/xmonad-0.15-4
Jakub Bogusz [Mon, 13 Feb 2023 18:15:12 +0000 (19:15 +0100)]
- release 4

14 months ago- updated URL, pl
Jakub Bogusz [Mon, 13 Feb 2023 18:15:04 +0000 (19:15 +0100)]
- updated URL, pl

2 years agorebuild with ghc 8.10.7 auto/th/xmonad-0.15-3
Jan Palus [Sat, 19 Mar 2022 16:34:19 +0000 (17:34 +0100)]
rebuild with ghc 8.10.7

Release 3 (by relup.sh)

3 years ago- rel 2, relax deps auto/th/xmonad-0.15-2
Jan Rękorajski [Sat, 30 May 2020 20:17:54 +0000 (22:17 +0200)]
- rel 2, relax deps

3 years ago- up to 0.15 auto/th/xmonad-0.15-1
Jan Rękorajski [Sun, 24 May 2020 12:53:34 +0000 (14:53 +0200)]
- up to 0.15

8 years ago- release 2 (by relup.sh) auto/th/xmonad-0.12-2
Jan Rękorajski [Mon, 18 Apr 2016 15:18:37 +0000 (17:18 +0200)]
- release 2 (by relup.sh)

8 years ago- updated BRs
Jan Rękorajski [Mon, 18 Apr 2016 15:15:21 +0000 (17:15 +0200)]
- updated BRs

8 years agoup to 0.12 auto/th/xmonad-0.12-1
Jan Palus [Mon, 25 Jan 2016 23:06:52 +0000 (00:06 +0100)]
up to 0.12

- border patch no longer needed
- new "doc" bcond disabled by default due to "internal error when
  calculating transative package dependencies"

8 years agoupstream patch to fix issues with some games in fullscreen mode
Jan Palus [Fri, 11 Dec 2015 09:18:39 +0000 (10:18 +0100)]
upstream patch to fix issues with some games in fullscreen mode

9 years agoup to 0.11.1 auto/th/xmonad-0.11.1-1
Jan Palus [Sun, 29 Mar 2015 18:38:25 +0000 (20:38 +0200)]
up to 0.11.1

adapterized
ghc requires exact dep versions from build time

10 years ago- rel 1 auto/th/xmonad-0.11-1
Jan Palus [Fri, 26 Jul 2013 13:00:50 +0000 (15:00 +0200)]
- rel 1

11 years ago- BR/R: ghc-extensible-exceptions
Jan Palus [Sat, 16 Mar 2013 11:13:23 +0000 (12:13 +0100)]
- BR/R: ghc-extensible-exceptions

11 years ago- unix is provided by ghc
Jan Palus [Thu, 14 Mar 2013 19:23:00 +0000 (20:23 +0100)]
- unix is provided by ghc

11 years ago- new
Jan Palus [Thu, 14 Mar 2013 19:14:07 +0000 (20:14 +0100)]
- new

This page took 0.456289 seconds and 4 git commands to generate.