diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2014-12-17 10:00:06 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2014-12-17 10:00:06 +0100 |
| commit | db27bad28a06823973ee1051b12e49c7546a801e (patch) | |
| tree | a1742166219af5473f8d2ff58538db43d1a611a1 /debian/control | |
| parent | 4e5657030220f81da1eee8e38f3569b460ed79d8 (diff) | |
| download | itzks-systems-db27bad28a06823973ee1051b12e49c7546a801e.tar.gz itzks-systems-db27bad28a06823973ee1051b12e49c7546a801e.tar.bz2 itzks-systems-db27bad28a06823973ee1051b12e49c7546a801e.zip | |
debian/control: Pull-in geogebra5 on diskless machines and terminal servers.
* debian/control:
+ Prefer geogebra5 in diskless workstations.
+ Pull-in geogebra5 on terminal servers, as well.
Diffstat (limited to 'debian/control')
| -rw-r--r-- | debian/control | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/control b/debian/control index b400717..8c182ab 100644 --- a/debian/control +++ b/debian/control @@ -323,7 +323,7 @@ Depends: firmware-realtek, flashplugin-nonfree, gcalctool, - geogebra44, + geogebra5 | geogebra44, gnome-colors-common, git, grdesktop, @@ -514,6 +514,7 @@ Depends: firmware-realtek, flashplugin-nonfree, gcalctool, + geogebra5 | geogebra44, git, gnome-colors-common, gdisk, |