alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
221197 commits 217 branches 121 tags 4.5 GiB
Commit graph

15 commits

Author SHA1 Message Date
Jan Tojnar aac691a8b7 gnomeExtensions.dash-to-dock: update to rebased tip 2020-04-12 13:37:58 +02:00
Michael Reilly 84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Tor Hedin Brønner b05ce413fd
gnomeExtensions.dash-to-dock: 67 -> 2020-03-19 2020-03-24 07:11:17 +01:00
Tor Hedin Brønner 3e3575d1fc gnomeExtensions.dash-to-dock: 20190921 -> 67 
Actual release for gnome 3.34
 2019-10-08 12:08:51 +02:00
Tor Hedin Brønner 4b3942b75a
gnomeExtensions.dash-to-dock: 66 -> 20190921 
There's still no official release for gnome-3.34
 2019-10-03 00:09:20 +02:00
volth 46420bbaa3 treewide: name -> pname (easy cases) (#66585) 
treewide replacement of

stdenv.mkDerivation rec {
  name = "*-${version}";
  version = "*";

to pname
 2019-08-15 13:41:18 +01:00
Tor Hedin Brønner 02394286c2
gnomeExtensions.dash-to-dock: 65 -> 66 
3.32 support
 2019-04-05 12:14:00 +02:00
Jan Tojnar 2079e72f0e
gnomeExtensions.dash-to-dock: 64 → 65 
https://micheleg.github.io/dash-to-dock/release/2019/02/12/new-release-v65.html
 2019-03-03 23:38:14 +01:00
Jan Tojnar 1ccf2626ee
gnomeExtensions.dash-to-dock: 63 → 64 2018-11-30 21:35:11 +01:00
Jan Tojnar e362dd6d4c
gnomeExtensions.dash-to-dock: 62 → 63 2018-04-03 18:13:25 +02:00
svsdep 9058293a14 gnomeExtensions.dash-to-dock: v61 -> v62 2018-02-21 12:25:34 +02:00
Jan Tojnar eac4e05e89
gnomeExtensions.dash-to-dock: 60 -> 61 2017-11-26 03:10:55 +01:00
Linus Heckemann b73e3b6095 GNOME: 3.22 -> 3.24 
This is a squash commit of the joint work from:

* Jan Tojnar (@jtojnar)
* Linus Heckemann (@lheckemann)
* Ryan Mulligan (@ryantm)
* romildo (@romildo)
* Tom Hunger (@teh)
 2017-08-28 15:32:49 +01:00
Emanuele Peruffo c1bc3012bb gnomeExtensions.dash-to-dock: refactor 
Using makeFlags instead of patching Makefile
 2017-04-24 14:48:36 +02:00
Emanuele Peruffo 8211903825 gnomeExtensions.dash-to-dock: init at version v57 
I needed this extensions and wanted to share it with everyone.
I also created the new group called pkgs.gnomeExtensions.
 2017-04-24 11:19:52 +02:00