Artturin
|
f141586b64
|
robo3t: refactor and add keyword
|
2021-06-21 03:38:12 +03:00 |
|
Jakub Darul
|
017d514599
|
robo3t: 1.3.1 -> 1.4.3
|
2021-03-15 12:47:08 -04:00 |
|
Ben Siraphob
|
108bdac3d9
|
pkgs/applications: stdenv.lib -> lib
|
2021-01-15 14:24:03 +07:00 |
|
Herman Fries
|
d617416e13
|
robo3t: Remove unrecognized category from desktop item
|
2020-05-06 14:56:09 +02:00 |
|
Michael Reilly
|
84cf00f980
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
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 |
|