Frederik Rietdijk
|
fc74ba8291
|
Merge master into staging-next
|
2019-08-31 09:50:38 +02:00 |
|
Averell Dalton
|
c56e7a20b1
|
robo3t: 1.1.1 -> 1.3.1
|
2019-08-30 05:24:54 +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 |
|
LightDiscord
|
2b159d94a2
|
robo3t: add libGL library fix #39817
|
2018-05-01 18:39:03 +02:00 |
|
John Ericson
|
c208ca6387
|
robo3t: Simplify meta.platforms and don't refer to glibc directly
|
2018-03-12 18:55:41 -04:00 |
|
Emanuele Peruffo
|
f402c3aa78
|
robo3t: change .desktop name
Gnome does not permit to add the application to favorites if the .desktop name is different than the binary name.
See https://unix.stackexchange.com/questions/58824/how-do-i-add-eclipse-to-my-gnome-shell-favorites.
|
2017-10-24 21:12:01 +02:00 |
|
Andrew Morsillo
|
df6b0fbd67
|
robo3t: added 1.1.1
|
2017-09-28 21:05:22 -04:00 |
|