2018-06-10 22:20:02 +01:00
|
|
|
|
lib: self: super:
|
2016-03-18 19:35:10 +00:00
|
|
|
|
|
|
|
|
|
with self;
|
|
|
|
|
|
2016-03-20 14:50:27 +00:00
|
|
|
|
let
|
2016-03-20 20:03:18 +00:00
|
|
|
|
# Removing recurseForDerivation prevents derivations of aliased attribute
|
2016-03-20 14:50:27 +00:00
|
|
|
|
# set to appear while listing all the packages available.
|
2017-05-27 18:44:00 +01:00
|
|
|
|
removeRecurseForDerivations = alias: with lib;
|
2016-03-20 14:50:27 +00:00
|
|
|
|
if alias.recurseForDerivations or false then
|
|
|
|
|
removeAttrs alias ["recurseForDerivations"]
|
|
|
|
|
else alias;
|
|
|
|
|
|
2017-05-27 18:44:00 +01:00
|
|
|
|
# Disabling distribution prevents top-level aliases for non-recursed package
|
|
|
|
|
# sets from building on Hydra.
|
|
|
|
|
removeDistribute = alias: with lib;
|
|
|
|
|
if isDerivation alias then
|
|
|
|
|
dontDistribute alias
|
|
|
|
|
else alias;
|
|
|
|
|
|
2018-04-29 23:44:18 +01:00
|
|
|
|
# Make sure that we are not shadowing something from
|
|
|
|
|
# all-packages.nix.
|
2018-06-10 22:20:02 +01:00
|
|
|
|
checkInPkgs = n: alias: if builtins.hasAttr n super
|
2018-04-29 23:44:18 +01:00
|
|
|
|
then throw "Alias ${n} is still in all-packages.nix"
|
|
|
|
|
else alias;
|
|
|
|
|
|
2017-05-27 18:44:00 +01:00
|
|
|
|
mapAliases = aliases:
|
2018-04-29 23:44:18 +01:00
|
|
|
|
lib.mapAttrs (n: alias: removeDistribute
|
|
|
|
|
(removeRecurseForDerivations
|
|
|
|
|
(checkInPkgs n alias)))
|
|
|
|
|
aliases;
|
2016-03-20 14:50:27 +00:00
|
|
|
|
in
|
|
|
|
|
|
2016-03-18 19:35:10 +00:00
|
|
|
|
### Deprecated aliases - for backward compatibility
|
|
|
|
|
|
2018-06-10 22:20:02 +01:00
|
|
|
|
mapAliases ({
|
2018-04-26 01:55:18 +01:00
|
|
|
|
PPSSPP = ppsspp; # added 2017-10-01
|
|
|
|
|
QmidiNet = qmidinet; # added 2016-05-22
|
2018-01-15 11:10:23 +00:00
|
|
|
|
accounts-qt = libsForQt5.accounts-qt; # added 2015-12-19
|
2017-10-01 09:33:02 +01:00
|
|
|
|
adobeReader = adobe-reader; # added 2013-11-04
|
2018-06-02 09:44:24 +01:00
|
|
|
|
adobe_flex_sdk = apache-flex-sdk; # added 2018-06-01
|
2018-04-26 01:55:18 +01:00
|
|
|
|
ag = silver-searcher; # added 2018-04-25
|
2016-03-18 19:35:10 +00:00
|
|
|
|
aircrackng = aircrack-ng; # added 2016-01-14
|
2017-05-02 13:56:20 +01:00
|
|
|
|
ammonite-repl = ammonite; # added 2017-05-02
|
2016-03-18 19:35:10 +00:00
|
|
|
|
arduino_core = arduino-core; # added 2015-02-04
|
|
|
|
|
asciidocFull = asciidoc-full; # added 2014-06-22
|
2018-02-25 02:23:58 +00:00
|
|
|
|
at_spi2_atk = at-spi2-atk; # added 2018-02-25
|
|
|
|
|
at_spi2_core = at-spi2-core; # added 2018-02-25
|
2016-03-18 19:35:10 +00:00
|
|
|
|
bar-xft = lemonbar-xft; # added 2015-01-16
|
2016-09-28 16:46:29 +01:00
|
|
|
|
bashCompletion = bash-completion; # Added 2016-09-28
|
2016-03-18 19:35:10 +00:00
|
|
|
|
bridge_utils = bridge-utils; # added 2015-02-20
|
|
|
|
|
btrfsProgs = btrfs-progs; # added 2016-01-03
|
2019-06-03 06:47:54 +01:00
|
|
|
|
bittorrentSync = throw "bittorrentSync has been deprecated by resilio-sync."; # added 2019-06-03
|
|
|
|
|
bittorrentSync14 = throw "bittorrentSync14 has been deprecated by resilio-sync."; # added 2019-06-03
|
|
|
|
|
bittorrentSync20 = throw "bittorrentSync20 has been deprecated by resilio-sync."; # added 2019-06-03
|
2018-10-13 00:10:38 +01:00
|
|
|
|
buildPerlPackage = perlPackages.buildPerlPackage; # added 2018-10-12
|
2016-03-15 20:49:07 +00:00
|
|
|
|
bundler_HEAD = bundler; # added 2015-11-15
|
2018-03-02 23:05:29 +00:00
|
|
|
|
cantarell_fonts = cantarell-fonts; # added 2018-03-03
|
2016-08-19 04:24:04 +01:00
|
|
|
|
checkbashism = checkbashisms; # added 2016-08-16
|
2019-09-12 21:02:26 +01:00
|
|
|
|
cide = throw "deprecated in 2019-09-11: abandoned by upstream";
|
2016-08-22 16:20:28 +01:00
|
|
|
|
cifs_utils = cifs-utils; # added 2016-08
|
2018-05-06 19:26:37 +01:00
|
|
|
|
ckb = ckb-next; # added 2018-10-21
|
2016-03-18 19:35:10 +00:00
|
|
|
|
clangAnalyzer = clang-analyzer; # added 2015-02-20
|
2016-04-29 01:25:28 +01:00
|
|
|
|
clawsMail = claws-mail; # added 2016-04-29
|
2018-02-25 02:23:58 +00:00
|
|
|
|
clutter_gtk = clutter-gtk; # added 2018-02-25
|
2016-03-18 19:35:10 +00:00
|
|
|
|
conkerorWrapper = conkeror; # added 2015-01
|
2019-05-28 12:37:14 +01:00
|
|
|
|
compton-git = compton; # added 2019-05-20
|
2018-05-30 06:54:48 +01:00
|
|
|
|
conntrack_tools = conntrack-tools; # added 2018-05
|
2016-03-18 19:35:10 +00:00
|
|
|
|
cool-old-term = cool-retro-term; # added 2015-01-31
|
2019-05-24 10:24:11 +01:00
|
|
|
|
cpp-gsl = microsoft_gsl; # added 2019-05-24
|
2016-03-18 19:35:10 +00:00
|
|
|
|
cupsBjnp = cups-bjnp; # added 2016-01-02
|
2016-08-25 16:47:34 +01:00
|
|
|
|
cups_filters = cups-filters; # added 2016-08
|
2016-03-18 19:35:10 +00:00
|
|
|
|
cv = progress; # added 2015-09-06
|
2018-04-26 01:55:18 +01:00
|
|
|
|
d1x_rebirth = dxx-rebirth; # added 2018-04-25
|
|
|
|
|
d2x_rebirth = dxx-rebirth; # added 2018-04-25
|
|
|
|
|
dbus_daemon = dbus.daemon; # added 2018-04-25
|
2018-02-25 02:23:58 +00:00
|
|
|
|
dbus_glib = dbus-glib; # added 2018-02-25
|
2018-04-26 01:55:18 +01:00
|
|
|
|
dbus_libs = dbus; # added 2018-04-25
|
|
|
|
|
dbus_tools = dbus.out; # added 2018-04-25
|
2018-02-23 23:11:03 +00:00
|
|
|
|
deadbeef-mpris2-plugin = deadbeefPlugins.mpris2; # added 2018-02-23
|
2018-04-26 01:55:18 +01:00
|
|
|
|
deadpixi-sam = deadpixi-sam-unstable;
|
2016-03-23 12:36:31 +00:00
|
|
|
|
debian_devscripts = debian-devscripts; # added 2016-03-23
|
2018-02-25 02:23:58 +00:00
|
|
|
|
desktop_file_utils = desktop-file-utils; # added 2018-02-25
|
2018-04-26 01:55:18 +01:00
|
|
|
|
devicemapper = lvm2; # added 2018-04-25
|
2017-02-18 17:55:57 +00:00
|
|
|
|
digikam5 = digikam; # added 2017-02-18
|
2018-04-26 01:55:18 +01:00
|
|
|
|
dmtx = dmtx-utils; # added 2018-04-25
|
|
|
|
|
docbook5_xsl = docbook_xsl_ns; # added 2018-04-25
|
|
|
|
|
docbook_xml_xslt = docbook_xsl; # added 2018-04-25
|
2017-11-22 23:34:18 +00:00
|
|
|
|
double_conversion = double-conversion; # 2017-11-22
|
2018-11-10 14:00:32 +00:00
|
|
|
|
docker_compose = docker-compose; # 2018-11-10
|
2016-03-18 19:35:10 +00:00
|
|
|
|
dwarf_fortress = dwarf-fortress; # added 2016-01-23
|
2019-08-07 23:52:22 +01:00
|
|
|
|
emacsMelpa = emacs25Packages; # for backward compatibility
|
2018-08-18 18:59:02 +01:00
|
|
|
|
emacsPackagesGen = emacsPackagesFor; # added 2018-08-18
|
2019-08-07 23:52:22 +01:00
|
|
|
|
emacsPackagesNgGen = emacsPackagesFor; # added 2018-08-18
|
|
|
|
|
emacsPackagesNgFor = emacsPackagesFor; # added 2019-08-07
|
|
|
|
|
emacsPackagesNg = emacsPackages; # added 2019-08-07
|
2019-05-01 12:19:30 +01:00
|
|
|
|
emby = throw "The Emby derivation has been removed, see jellyfin instead for a free software fork."; # added 2019-05-01
|
2016-03-18 19:35:10 +00:00
|
|
|
|
enblendenfuse = enblend-enfuse; # 2015-09-30
|
2018-02-25 02:23:58 +00:00
|
|
|
|
evolution_data_server = evolution-data-server; # added 2018-02-25
|
2018-04-26 01:55:18 +01:00
|
|
|
|
etcdctl = etcd; # added 2018-04-25
|
2016-03-18 19:35:10 +00:00
|
|
|
|
exfat-utils = exfat; # 2015-09-11
|
2018-05-01 19:46:05 +01:00
|
|
|
|
ffadoFull = ffado; # added 2018-05-01
|
2016-03-18 19:35:10 +00:00
|
|
|
|
firefox-esr-wrapper = firefox-esr; # 2016-01
|
|
|
|
|
firefox-wrapper = firefox; # 2016-01
|
|
|
|
|
firefoxWrapper = firefox; # 2015-09
|
2018-04-26 01:55:18 +01:00
|
|
|
|
flameGraph = flamegraph; # added 2018-04-25
|
2019-02-17 20:40:14 +00:00
|
|
|
|
font-awesome-ttf = font-awesome; # 2018-02-25
|
2019-04-12 21:42:45 +01:00
|
|
|
|
font-droid = throw "font-droid has been deprecated by noto-fonts"; # 2019-04-12
|
2016-08-26 07:45:16 +01:00
|
|
|
|
foomatic_filters = foomatic-filters; # 2016-08
|
2016-03-18 19:35:10 +00:00
|
|
|
|
fuse_exfat = exfat; # 2015-09-11
|
2018-04-26 01:55:18 +01:00
|
|
|
|
fuseki = apache-jena-fuseki; # added 2018-04-25
|
2018-04-29 23:43:38 +01:00
|
|
|
|
gccApple = throw "gccApple is no longer supported"; # added 2018-04-25
|
2017-10-17 21:44:24 +01:00
|
|
|
|
gdb-multitarget = gdb; # added 2017-11-13
|
2019-05-22 12:03:39 +01:00
|
|
|
|
gdk_pixbuf = gdk-pixbuf; # added 2019-05-22
|
2018-04-26 01:55:18 +01:00
|
|
|
|
gettextWithExpat = gettext; # 2016-02-19
|
2016-04-29 20:40:41 +01:00
|
|
|
|
git-hub = gitAndTools.git-hub; # added 2016-04-29
|
2018-02-25 02:23:58 +00:00
|
|
|
|
glib_networking = glib-networking; # added 2018-02-25
|
2019-08-22 14:48:02 +01:00
|
|
|
|
gnome-mpv = celluloid; # added 2019-08-22
|
2019-09-07 11:20:15 +01:00
|
|
|
|
gmic_krita_qt = gmic-qt-krita; # added 2019-09-07
|
2018-03-14 14:12:08 +00:00
|
|
|
|
gnome-themes-standard = gnome-themes-extra; # added 2018-03-14
|
2018-04-26 01:55:18 +01:00
|
|
|
|
gnome_doc_utils = gnome-doc-utils; # added 2018-02-25
|
2018-02-25 02:23:58 +00:00
|
|
|
|
gnome_themes_standard = gnome-themes-standard; # added 2018-02-25
|
2019-05-27 13:26:31 +01:00
|
|
|
|
gnuradio-nacl = gr-nacl; # added 2019-05-27
|
|
|
|
|
gnuradio-gsm = gr-gsm; # added 2019-05-27
|
|
|
|
|
gnuradio-ais = gr-ais; # added 2019-05-27
|
|
|
|
|
gnuradio-limesdr = gr-limesdr; # added 2019-05-27
|
|
|
|
|
gnuradio-rds = gr-rds; # added 2019-05-27
|
|
|
|
|
gnuradio-osmosdr = gr-osmosdr; # added 2019-05-27
|
2018-04-26 01:55:18 +01:00
|
|
|
|
gnustep-make = gnustep.make; # added 2016-7-6
|
|
|
|
|
go-pup = pup; # added 2017-12-19
|
2018-12-02 11:41:15 +00:00
|
|
|
|
gobjectIntrospection = gobject-introspection; # added 2018-12-02
|
2018-09-16 17:20:18 +01:00
|
|
|
|
goimports = gotools; # added 2018-09-16
|
2019-07-25 10:04:55 +01:00
|
|
|
|
google-gflags = gflags; # added 2019-07-25
|
2018-04-26 01:55:18 +01:00
|
|
|
|
googleAuthenticator = google-authenticator; # added 2016-10-16
|
2017-02-25 15:44:01 +00:00
|
|
|
|
grantlee5 = libsForQt5.grantlee; # added 2015-12-19
|
2018-02-25 02:23:58 +00:00
|
|
|
|
gsettings_desktop_schemas = gsettings-desktop-schemas; # added 2018-02-25
|
2018-04-26 01:55:18 +01:00
|
|
|
|
gst_plugins_bad = gst-plugins-bad; # added 2017-02
|
2017-02-26 20:25:29 +00:00
|
|
|
|
gst_plugins_base = gst-plugins-base; # added 2017-02
|
2017-02-26 19:36:20 +00:00
|
|
|
|
gst_plugins_good = gst-plugins-good; # added 2017-02
|
2017-02-26 19:37:41 +00:00
|
|
|
|
gst_plugins_ugly = gst-plugins-ugly; # added 2017-02
|
2017-02-26 19:30:00 +00:00
|
|
|
|
gst_python = gst-python; # added 2017-02
|
2018-02-25 02:23:58 +00:00
|
|
|
|
gtk_doc = gtk-doc; # added 2018-02-25
|
2017-09-24 14:45:11 +01:00
|
|
|
|
guileCairo = guile-cairo; # added 2017-09-24
|
|
|
|
|
guileGnome = guile-gnome; # added 2017-09-24
|
2017-09-27 11:59:56 +01:00
|
|
|
|
guileLint = guile-lint; # added 2017-09-27
|
2018-04-26 01:55:18 +01:00
|
|
|
|
guile_lib = guile-lib; # added 2017-09-24
|
2017-09-24 14:45:11 +01:00
|
|
|
|
guile_ncurses = guile-ncurses; # added 2017-09-24
|
2018-02-25 02:23:58 +00:00
|
|
|
|
gupnp_av = gupnp-av; # added 2018-02-25
|
|
|
|
|
gupnp_dlna = gupnp-dlna; # added 2018-02-25
|
|
|
|
|
gupnp_igd = gupnp-igd; # added 2018-02-25
|
2016-03-18 19:35:10 +00:00
|
|
|
|
gupnptools = gupnp-tools; # added 2015-12-19
|
2018-11-17 22:53:15 +00:00
|
|
|
|
gutenberg = zola; # added 2018-11-17
|
2018-05-01 19:46:05 +01:00
|
|
|
|
heimdalFull = heimdal; # added 2018-05-01
|
2019-08-05 21:54:56 +01:00
|
|
|
|
hepmc = hepmc2; # added 2019-08-05
|
2018-02-25 02:23:58 +00:00
|
|
|
|
hicolor_icon_theme = hicolor-icon-theme; # added 2018-02-25
|
2016-03-18 19:35:10 +00:00
|
|
|
|
htmlTidy = html-tidy; # added 2014-12-06
|
2017-03-19 11:40:52 +00:00
|
|
|
|
iana_etc = iana-etc; # added 2017-03-08
|
2019-08-21 20:21:39 +01:00
|
|
|
|
icedtea8_web = adoptopenjdk-icedtea-web; # added 2019-08-21
|
|
|
|
|
icedtea_web = adoptopenjdk-icedtea-web; # added 2019-08-21
|
2017-04-03 02:21:30 +01:00
|
|
|
|
idea = jetbrains; # added 2017-04-03
|
2019-08-09 11:54:15 +01:00
|
|
|
|
infiniband-diags = rdma-core; # added 2019-08-09
|
2016-03-18 19:35:10 +00:00
|
|
|
|
inotifyTools = inotify-tools;
|
2018-09-05 17:11:47 +01:00
|
|
|
|
jbuilder = dune; # added 2018-09-09
|
2016-03-18 19:35:10 +00:00
|
|
|
|
joseki = apache-jena-fuseki; # added 2016-02-28
|
2018-02-25 02:23:58 +00:00
|
|
|
|
json_glib = json-glib; # added 2018-02-25
|
2017-02-18 18:02:15 +00:00
|
|
|
|
kdiff3-qt5 = kdiff3; # added 2017-02-18
|
2018-04-26 01:55:18 +01:00
|
|
|
|
keepass-keefox = keepass-keepassrpc; # backwards compatibility alias, added 2018-02
|
2017-11-07 15:54:01 +00:00
|
|
|
|
keepassx-community = keepassxc; # added 2017-11
|
2018-04-26 01:55:18 +01:00
|
|
|
|
keepassx-reboot = keepassx-community; # added 2017-02-01
|
|
|
|
|
keepassx2-http = keepassx-reboot; # added 2016-10-17
|
2016-08-24 23:21:36 +01:00
|
|
|
|
keybase-go = keybase; # added 2016-08-24
|
2017-02-18 18:04:57 +00:00
|
|
|
|
krename-qt5 = krename; # added 2017-02-18
|
2018-04-26 01:55:18 +01:00
|
|
|
|
kvm = qemu_kvm; # added 2018-04-25
|
2016-05-16 21:39:34 +01:00
|
|
|
|
letsencrypt = certbot; # added 2016-05-16
|
2018-04-26 01:55:18 +01:00
|
|
|
|
libaudit = audit; # added 2018-04-25
|
2018-02-25 02:23:58 +00:00
|
|
|
|
libcanberra_gtk2 = libcanberra-gtk2; # added 2018-02-25
|
|
|
|
|
libcanberra_gtk3 = libcanberra-gtk3; # added 2018-02-25
|
2016-04-29 03:42:30 +01:00
|
|
|
|
libcap_manpages = libcap.doc; # added 2016-04-29
|
|
|
|
|
libcap_pam = if stdenv.isLinux then libcap.pam else null; # added 2016-04-29
|
|
|
|
|
libcap_progs = libcap.out; # added 2016-04-29
|
2018-04-26 01:55:18 +01:00
|
|
|
|
libdbusmenu_qt5 = libsForQt5.libdbusmenu; # added 2015-12-19
|
2018-05-01 19:46:05 +01:00
|
|
|
|
libdbusmenu-glib = libdbusmenu; # added 2018-05-01
|
2018-12-13 17:54:38 +00:00
|
|
|
|
liberation_ttf_v1_from_source = liberation_ttf_v1; # added 2018-12-12
|
|
|
|
|
liberation_ttf_v2_from_source = liberation_ttf_v2; # added 2018-12-12
|
2018-12-13 17:36:11 +00:00
|
|
|
|
liberationsansnarrow = liberation-sans-narrow; # added 2018-12-12
|
2018-02-25 02:23:58 +00:00
|
|
|
|
libgnome_keyring = libgnome-keyring; # added 2018-02-25
|
|
|
|
|
libgnome_keyring3 = libgnome-keyring3; # added 2018-02-25
|
2018-01-21 13:29:45 +00:00
|
|
|
|
libgumbo = gumbo; # added 2018-01-21
|
2019-05-28 20:09:34 +01:00
|
|
|
|
libGL_driver = mesa.drivers;
|
2018-08-20 19:43:41 +01:00
|
|
|
|
libintlOrEmpty = stdenv.lib.optional (!stdenv.isLinux || stdenv.hostPlatform.libc != "glibc") gettext; # added 2018-03-14
|
2017-02-28 16:11:32 +00:00
|
|
|
|
libjson_rpc_cpp = libjson-rpc-cpp; # added 2017-02-28
|
2018-11-05 21:53:05 +00:00
|
|
|
|
liblapackWithoutAtlas = liblapack; # added 2018-11-05
|
2019-09-21 19:05:09 +01:00
|
|
|
|
libmysql = mysql.connector-c; # added # 2017-12-28, this was a misnomer refering to libmysqlclient
|
2019-01-01 16:19:07 +00:00
|
|
|
|
libqrencode = qrencode; # added 2019-01-01
|
2018-04-26 01:55:18 +01:00
|
|
|
|
librecad2 = librecad; # backwards compatibility alias, added 2015-10
|
|
|
|
|
libsysfs = sysfsutils; # added 2018-04-25
|
2016-03-18 19:35:10 +00:00
|
|
|
|
libtidy = html-tidy; # added 2014-12-21
|
2018-04-26 01:55:18 +01:00
|
|
|
|
libudev = udev; # added 2018-04-25
|
2016-03-18 19:35:10 +00:00
|
|
|
|
links = links2; # added 2016-01-31
|
|
|
|
|
lttngTools = lttng-tools; # added 2014-07-31
|
|
|
|
|
lttngUst = lttng-ust; # added 2014-07-31
|
2017-05-02 11:44:00 +01:00
|
|
|
|
lua5_1_sockets = lua51Packages.luasocket; # added 2017-05-02
|
|
|
|
|
lua5_expat = luaPackages.luaexpat; # added 2017-05-02
|
2018-04-26 01:55:18 +01:00
|
|
|
|
lua5_sec = luaPackages.luasec; # added 2017-05-02
|
2017-01-19 23:48:24 +00:00
|
|
|
|
m3d-linux = m33-linux; # added 2016-08-13
|
2016-05-23 18:50:25 +01:00
|
|
|
|
man_db = man-db; # added 2016-05
|
2018-04-26 01:55:18 +01:00
|
|
|
|
manpages = man-pages; # added 2015-12-06
|
2019-08-01 12:26:16 +01:00
|
|
|
|
mariadb-client = hiPrio mariadb.client; #added 2019.07.28
|
|
|
|
|
mysql-client = hiPrio mariadb.client;
|
2019-05-08 16:10:17 +01:00
|
|
|
|
memtest86 = memtest86plus; # added 2019-05-08
|
2019-05-28 20:09:34 +01:00
|
|
|
|
mesa_noglu = mesa; # added 2019-05-28
|
|
|
|
|
# NOTE: 2018-07-12: legacy alias:
|
|
|
|
|
# gcsecurity bussiness is done: https://www.theregister.co.uk/2018/02/08/bruce_perens_grsecurity_anti_slapp/
|
|
|
|
|
# floating point textures patents are expired,
|
|
|
|
|
# so package reduced to alias
|
|
|
|
|
mesa_drivers = mesa.drivers;
|
2016-03-18 19:35:10 +00:00
|
|
|
|
midoriWrapper = midori; # added 2015-01
|
2017-02-25 15:44:01 +00:00
|
|
|
|
mlt-qt5 = libsForQt5.mlt; # added 2015-12-19
|
2018-02-25 02:23:58 +00:00
|
|
|
|
mobile_broadband_provider_info = mobile-broadband-provider-info; # added 2018-02-25
|
2016-04-22 08:44:55 +01:00
|
|
|
|
module_init_tools = kmod; # added 2016-04-22
|
2019-09-20 12:43:51 +01:00
|
|
|
|
mono-zeroconf = throw "deprecated 2019-09-20: abandoned by upstream.";
|
2018-10-27 15:56:25 +01:00
|
|
|
|
mozart = mozart2-binary; # added 2019-09-23
|
|
|
|
|
mozart-binary = mozart2-binary; # added 2019-09-23
|
2018-08-06 13:44:46 +01:00
|
|
|
|
mpich2 = mpich; # added 2018-08-06
|
2018-04-26 01:55:18 +01:00
|
|
|
|
msf = metasploit; # added 2018-04-25
|
2018-08-18 00:53:33 +01:00
|
|
|
|
libmsgpack = msgpack; # added 2018-08-17
|
2016-03-18 19:35:10 +00:00
|
|
|
|
mssys = ms-sys; # added 2015-12-13
|
|
|
|
|
multipath_tools = multipath-tools; # added 2016-01-21
|
|
|
|
|
mupen64plus1_5 = mupen64plus; # added 2016-02-12
|
2017-01-19 15:39:28 +00:00
|
|
|
|
mysqlWorkbench = mysql-workbench; # added 2017-01-19
|
2018-04-26 01:55:18 +01:00
|
|
|
|
nagiosPluginsOfficial = monitoring-plugins;
|
2016-01-26 01:58:17 +00:00
|
|
|
|
ncat = nmap; # added 2016-01-26
|
2018-04-29 20:46:54 +01:00
|
|
|
|
netcat-openbsd = libressl.nc; # added 2018-04-25
|
2018-02-25 02:23:58 +00:00
|
|
|
|
networkmanager_fortisslvpn = networkmanager-fortisslvpn; # added 2018-02-25
|
|
|
|
|
networkmanager_iodine = networkmanager-iodine; # added 2018-02-25
|
|
|
|
|
networkmanager_l2tp = networkmanager-l2tp; # added 2018-02-25
|
|
|
|
|
networkmanager_openconnect = networkmanager-openconnect; # added 2018-02-25
|
|
|
|
|
networkmanager_openvpn = networkmanager-openvpn; # added 2018-02-25
|
|
|
|
|
networkmanager_vpnc = networkmanager-vpnc; # added 2018-02-25
|
2016-03-18 19:35:10 +00:00
|
|
|
|
nfsUtils = nfs-utils; # added 2014-12-06
|
2018-04-26 01:55:18 +01:00
|
|
|
|
nginxUnstable = nginxMainline; # added 2018-04-25
|
|
|
|
|
nilfs_utils = nilfs-utils; # added 2018-04-25
|
|
|
|
|
nmap_graphical = nmap-graphical; # added 2017-01-19
|
|
|
|
|
nologin = shadow; # added 2018-04-25
|
2019-02-16 15:50:18 +00:00
|
|
|
|
nxproxy = nx-libs; # added 2019-02-15
|
2019-08-11 13:13:41 +01:00
|
|
|
|
nylas-mail-bin = throw "deprecated in 2019-09-11: abandoned by upstream";
|
2018-04-26 01:55:18 +01:00
|
|
|
|
opencascade_oce = opencascade; # added 2018-04-25
|
2017-01-19 23:48:24 +00:00
|
|
|
|
opencl-icd = ocl-icd; # added 2017-01-20
|
2018-04-26 01:55:18 +01:00
|
|
|
|
openexr_ctl = ctl; # added 2018-04-25
|
2018-10-25 18:28:05 +01:00
|
|
|
|
openjpeg_2_1 = openjpeg_2; # added 2018-10-25
|
2018-12-05 21:12:48 +00:00
|
|
|
|
opensans-ttf = open-sans; # added 2018-12-04
|
2018-02-14 09:53:54 +00:00
|
|
|
|
openssh_with_kerberos = openssh; # added 2018-01-28
|
2016-08-21 20:33:56 +01:00
|
|
|
|
owncloudclient = owncloud-client; # added 2016-08
|
2018-02-25 02:23:58 +00:00
|
|
|
|
p11_kit = p11-kit; # added 2018-02-25
|
2018-10-13 09:12:26 +01:00
|
|
|
|
parquet-cpp = arrow-cpp; # added 2018-09-08
|
2018-04-18 20:27:03 +01:00
|
|
|
|
pass-otp = pass.withExtensions (ext: [ext.pass-otp]); # added 2018-05-04
|
2018-10-13 00:00:19 +01:00
|
|
|
|
perlXMLParser = perlPackages.XMLParser; # added 2018-10-12
|
2018-10-13 00:19:55 +01:00
|
|
|
|
perlArchiveCpio = perlPackages.ArchiveCpio; # added 2018-10-12
|
2016-12-29 20:12:49 +00:00
|
|
|
|
pgp-tools = signing-party; # added 2017-03-26
|
2019-01-16 12:21:06 +00:00
|
|
|
|
pg_tmp = ephemeralpg; # added 2018-01-16
|
2016-06-09 11:19:44 +01:00
|
|
|
|
pidgin-with-plugins = pidgin; # added 2016-06
|
2018-01-08 03:16:24 +00:00
|
|
|
|
pidginlatex = pidgin-latex; # added 2018-01-08
|
2018-04-26 01:55:18 +01:00
|
|
|
|
pidginlatexSF = pidgin-latex; # added 2014-11-02
|
2018-01-08 03:16:24 +00:00
|
|
|
|
pidginmsnpecan = pidgin-msn-pecan; # added 2018-01-08
|
|
|
|
|
pidginosd = pidgin-osd; # added 2018-01-08
|
2018-04-26 01:55:18 +01:00
|
|
|
|
pidginotr = pidgin-otr; # added 2018-01-08
|
2018-01-08 03:16:24 +00:00
|
|
|
|
pidginsipe = pidgin-sipe; # added 2018-01-08
|
|
|
|
|
pidginwindowmerge = pidgin-window-merge; # added 2018-01-08
|
2018-04-26 01:55:18 +01:00
|
|
|
|
piwik = matomo; # added 2018-01-16
|
|
|
|
|
pltScheme = racket; # just to be sure
|
2019-02-28 18:07:00 +00:00
|
|
|
|
plexpy = tautulli; # plexpy got renamed to tautulli, added 2019-02-22
|
2018-11-01 19:07:47 +00:00
|
|
|
|
pmtools = acpica-tools; # added 2018-11-01
|
2017-02-25 15:44:01 +00:00
|
|
|
|
poppler_qt5 = libsForQt5.poppler; # added 2015-12-19
|
2018-10-23 17:22:14 +01:00
|
|
|
|
postgresql95 = postgresql_9_5;
|
|
|
|
|
postgresql96 = postgresql_9_6;
|
|
|
|
|
postgresql100 = throw "deprecated 2018-10-21: use postgresql_10 instead";
|
2019-01-26 17:46:57 +00:00
|
|
|
|
# postgresql plugins
|
|
|
|
|
pgjwt = postgresqlPackages.pgjwt;
|
|
|
|
|
pg_repack = postgresqlPackages.pg_repack;
|
|
|
|
|
pgroonga = postgresqlPackages.pgroonga;
|
|
|
|
|
pg_similarity = postgresqlPackages.pg_similarity;
|
|
|
|
|
pgtap = postgresqlPackages.pgtap;
|
|
|
|
|
plv8 = postgresqlPackages.plv8;
|
|
|
|
|
timescaledb = postgresqlPackages.timescaledb;
|
|
|
|
|
tsearch_extras = postgresqlPackages.tsearch_extras;
|
|
|
|
|
cstore_fdw = postgresqlPackages.cstore_fdw;
|
|
|
|
|
pg_hll = postgresqlPackages.pg_hll;
|
|
|
|
|
pg_cron = postgresqlPackages.pg_cron;
|
|
|
|
|
pg_topn = postgresqlPackages.pg_topn;
|
2019-01-26 19:15:43 +00:00
|
|
|
|
postgis = postgresqlPackages.postgis;
|
2019-01-26 17:46:57 +00:00
|
|
|
|
# end
|
2019-05-03 17:47:17 +01:00
|
|
|
|
ppl-address-book = throw "deprecated in 2019-05-02: abandoned by upstream.";
|
2019-08-17 03:21:00 +01:00
|
|
|
|
processing3 = processing; # added 2019-08-16
|
2018-07-08 21:09:25 +01:00
|
|
|
|
procps-ng = procps; # added 2018-06-08
|
2019-08-30 19:59:44 +01:00
|
|
|
|
pyo3-pack = maturin;
|
2018-05-01 19:46:05 +01:00
|
|
|
|
pulseaudioLight = pulseaudio; # added 2018-04-25
|
2017-02-25 15:44:01 +00:00
|
|
|
|
qca-qt5 = libsForQt5.qca-qt5; # added 2015-12-19
|
2016-03-18 19:35:10 +00:00
|
|
|
|
quake3game = ioquake3; # added 2016-01-14
|
2017-02-25 15:44:01 +00:00
|
|
|
|
qwt6 = libsForQt5.qwt; # added 2015-12-19
|
2019-06-27 04:03:58 +01:00
|
|
|
|
qtpfsgui = throw "Is now luminanceHDR"; # added 2019-06-26
|
2016-03-18 19:35:10 +00:00
|
|
|
|
rdiff_backup = rdiff-backup; # added 2014-11-23
|
2017-08-19 16:20:34 +01:00
|
|
|
|
rdmd = dtools; # added 2017-08-19
|
2019-04-08 00:28:55 +01:00
|
|
|
|
rhc = throw "deprecated in 2019-04-09: abandoned by upstream.";
|
2018-10-23 23:49:46 +01:00
|
|
|
|
rng_tools = rng-tools; # added 2018-10-24
|
2017-09-28 16:58:42 +01:00
|
|
|
|
robomongo = robo3t; #added 2017-09-28
|
2016-03-18 19:35:10 +00:00
|
|
|
|
rssglx = rss-glx; #added 2015-03-25
|
2018-02-14 09:53:54 +00:00
|
|
|
|
ruby_2_0_0 = throw "deprecated 2018-0213: use a newer version of ruby";
|
|
|
|
|
ruby_2_1_0 = throw "deprecated 2018-0213: use a newer version of ruby";
|
2019-09-03 22:31:45 +01:00
|
|
|
|
ruby_2_2_9 = throw "deprecated 2018-0213: use a newer version of ruby";
|
|
|
|
|
ruby_2_3_6 = throw "deprecated 2018-0213: use a newer version of ruby";
|
|
|
|
|
ruby_2_3 = throw "deprecated 2019-09-06: use a newer version of ruby";
|
2018-02-14 09:53:54 +00:00
|
|
|
|
ruby_2_4_3 = throw "deprecated 2018-0213: use ruby_2_4 instead";
|
|
|
|
|
ruby_2_5_0 = throw "deprecated 2018-0213: use ruby_2_5 instead";
|
2016-03-18 19:35:10 +00:00
|
|
|
|
rubygems = throw "deprecated 2016-03-02: rubygems is now bundled with ruby";
|
|
|
|
|
rxvt_unicode_with-plugins = rxvt_unicode-with-plugins; # added 2015-04-02
|
2018-07-22 16:03:19 +01:00
|
|
|
|
s6Dns = s6-dns; # added 2018-07-23
|
|
|
|
|
s6Networking = s6-networking; # added 2018-07-23
|
|
|
|
|
s6LinuxUtils = s6-linux-utils; # added 2018-07-23
|
|
|
|
|
s6PortableUtils = s6-portable-utils; # added 2018-07-23
|
2018-10-27 13:08:35 +01:00
|
|
|
|
sagemath = sage; # added 2018-10-27
|
2018-04-26 01:55:18 +01:00
|
|
|
|
sam = deadpixi-sam; # added 2018-04-25
|
2019-09-13 16:14:58 +01:00
|
|
|
|
sambaMaster = throw "removed 2019-09-13: outdated and no longer needed";
|
2016-03-18 19:35:10 +00:00
|
|
|
|
samsungUnifiedLinuxDriver = samsung-unified-linux-driver; # added 2016-01-25
|
|
|
|
|
saneBackends = sane-backends; # added 2016-01-02
|
|
|
|
|
saneBackendsGit = sane-backends-git; # added 2016-01-02
|
|
|
|
|
saneFrontends = sane-frontends; # added 2016-01-02
|
2019-01-20 00:29:39 +00:00
|
|
|
|
sapic = throw "deprecated 2019-1-19: sapic is bundled with 'tamarin-prover' now";
|
2016-03-18 19:35:10 +00:00
|
|
|
|
scim = sc-im; # added 2016-01-22
|
2018-04-26 01:55:18 +01:00
|
|
|
|
scollector = bosun; # added 2018-04-25
|
2018-02-25 02:23:58 +00:00
|
|
|
|
shared_mime_info = shared-mime-info; # added 2018-02-25
|
2017-02-18 18:08:57 +00:00
|
|
|
|
skrooge2 = skrooge; # added 2017-02-18
|
2017-07-27 20:57:46 +01:00
|
|
|
|
skype = skypeforlinux; # added 2017-07-27
|
2019-09-09 13:30:34 +01:00
|
|
|
|
skydive = throw "skydive has been removed from nixpkgs (2019-09-10)";
|
2019-05-21 13:16:25 +01:00
|
|
|
|
slic3r-prusa3d = prusa-slicer; # added 2019-05-21
|
2018-04-26 01:55:18 +01:00
|
|
|
|
slurm-llnl = slurm; # renamed July 2017
|
|
|
|
|
slurm-llnl-full = slurm-full; # renamed July 2017
|
2018-05-01 19:46:05 +01:00
|
|
|
|
slurm-full = slurm; # added 2018-05-1
|
2018-04-26 01:55:18 +01:00
|
|
|
|
smbclient = samba; # added 2018-04-25
|
2016-03-03 17:54:59 +00:00
|
|
|
|
spaceOrbit = space-orbit; # addewd 2016-05-23
|
2018-04-26 01:55:18 +01:00
|
|
|
|
speech_tools = speech-tools; # added 2018-04-25
|
2016-03-18 19:35:10 +00:00
|
|
|
|
speedtest_cli = speedtest-cli; # added 2015-02-17
|
2018-02-25 02:23:58 +00:00
|
|
|
|
spice_gtk = spice-gtk; # added 2018-02-25
|
|
|
|
|
spice_protocol = spice-protocol; # added 2018-02-25
|
2018-05-22 21:43:04 +01:00
|
|
|
|
sqlite3_analyzer = sqlite-analyzer; # added 2018-05-22
|
2016-03-18 19:35:10 +00:00
|
|
|
|
sqliteInteractive = sqlite-interactive; # added 2014-12-06
|
2019-08-21 23:39:52 +01:00
|
|
|
|
squid4 = squid; # added 2019-08-22
|
2016-09-18 16:41:55 +01:00
|
|
|
|
sshfsFuse = sshfs-fuse; # added 2016-09
|
2018-05-01 19:46:05 +01:00
|
|
|
|
suil-qt5 = suil; # added 2018-05-01
|
2017-04-02 18:50:28 +01:00
|
|
|
|
surf-webkit2 = surf; # added 2017-04-02
|
2019-09-10 13:32:55 +01:00
|
|
|
|
sup = throw "deprecated in 2019-09-10: abandoned by upstream";
|
2016-03-18 19:35:10 +00:00
|
|
|
|
system_config_printer = system-config-printer; # added 2016-01-03
|
2018-04-26 01:55:18 +01:00
|
|
|
|
systool = sysfsutils; # added 2018-04-25
|
|
|
|
|
tahoelafs = tahoe-lafs; # added 2018-03-26
|
2018-02-25 02:23:58 +00:00
|
|
|
|
telepathy_farstream = telepathy-farstream; # added 2018-02-25
|
|
|
|
|
telepathy_gabble = telepathy-gabble; # added 2018-02-25
|
|
|
|
|
telepathy_glib = telepathy-glib; # added 2018-02-25
|
|
|
|
|
telepathy_haze = telepathy-haze; # added 2018-02-25
|
|
|
|
|
telepathy_idle = telepathy-idle; # added 2018-02-25
|
|
|
|
|
telepathy_logger = telepathy-logger; # added 2018-02-25
|
|
|
|
|
telepathy_mission_control = telepathy-mission-control; # added 2018-02-25
|
|
|
|
|
telepathy_qt = telepathy-qt; # added 2018-02-25
|
2017-02-25 15:44:01 +00:00
|
|
|
|
telepathy_qt5 = libsForQt5.telepathy; # added 2015-12-19
|
2018-02-25 02:23:58 +00:00
|
|
|
|
telepathy_salut = telepathy-salut; # added 2018-02-25
|
2018-05-16 01:09:33 +01:00
|
|
|
|
telnet = inetutils; # added 2018-05-15
|
2018-09-28 19:28:38 +01:00
|
|
|
|
terraform-provider-ibm = terraform-providers.ibm; # added 2018-09-28
|
|
|
|
|
terraform-provider-libvirt = terraform-providers.libvirt; # added 2018-09-28
|
2018-09-28 16:02:51 +01:00
|
|
|
|
terraform-provider-nixos = terraform-providers.nixos; # added 2018-09-28
|
2018-12-19 13:42:32 +00:00
|
|
|
|
tesseract_4 = tesseract4; # added 2018-12-19
|
2018-04-03 12:32:02 +01:00
|
|
|
|
tex-gyre-bonum-math = tex-gyre-math.bonum; # added 2018-04-03
|
|
|
|
|
tex-gyre-pagella-math = tex-gyre-math.pagella; # added 2018-04-03
|
|
|
|
|
tex-gyre-schola-math = tex-gyre-math.schola; # added 2018-04-03
|
|
|
|
|
tex-gyre-termes-math = tex-gyre-math.termes; # added 2018-04-03
|
2016-03-18 19:35:10 +00:00
|
|
|
|
tftp_hpa = tftp-hpa; # added 2015-04-03
|
2018-08-31 03:41:29 +01:00
|
|
|
|
torbrowser = tor-browser-bundle-bin; # added 2017-04-05
|
2018-04-26 01:55:18 +01:00
|
|
|
|
trang = jing-trang; # added 2018-04-25
|
2018-01-06 07:15:08 +00:00
|
|
|
|
transmission_gtk = transmission-gtk; # added 2018-01-06
|
2018-01-06 08:24:12 +00:00
|
|
|
|
transmission_remote_gtk = transmission-remote-gtk; # added 2018-01-06
|
2018-10-24 19:10:04 +01:00
|
|
|
|
truecrypt = veracrypt; # added 2018-10-24
|
2018-04-26 01:55:18 +01:00
|
|
|
|
tshark = wireshark-cli; # added 2018-04-25
|
2016-07-23 01:07:44 +01:00
|
|
|
|
ucsFonts = ucs-fonts; # added 2016-07-15
|
2017-08-12 13:01:08 +01:00
|
|
|
|
ultrastardx-beta = ultrastardx; # added 2017-08-12
|
2016-05-10 21:54:45 +01:00
|
|
|
|
usb_modeswitch = usb-modeswitch; # added 2016-05-10
|
2019-09-05 03:21:52 +01:00
|
|
|
|
usbguard-nox = usbguard; # added 2019-09-04
|
2019-08-07 19:38:12 +01:00
|
|
|
|
v4l_utils = v4l-utils; # added 2019-08-07
|
2016-03-18 19:35:10 +00:00
|
|
|
|
vimbWrapper = vimb; # added 2015-01
|
|
|
|
|
vimprobable2Wrapper = vimprobable2; # added 2015-01
|
|
|
|
|
virtviewer = virt-viewer; # added 2015-12-24
|
|
|
|
|
vorbisTools = vorbis-tools; # added 2016-01-26
|
2019-03-05 16:40:00 +00:00
|
|
|
|
webkit = webkitgtk; # added 2019-03-05
|
2018-09-05 16:01:45 +01:00
|
|
|
|
weechat-matrix-bridge = weechatScripts.weechat-matrix-bridge; # added 2018-09-06
|
2018-01-08 03:26:30 +00:00
|
|
|
|
wineStaging = wine-staging; # added 2018-01-08
|
2017-12-22 05:20:11 +00:00
|
|
|
|
winusb = woeusb; # added 2017-12-22
|
2018-05-19 10:28:38 +01:00
|
|
|
|
wireguard = wireguard-tools; # added 2018-05-19
|
2018-09-13 15:42:28 +01:00
|
|
|
|
morituri = whipper; # added 2018-09-13
|
2019-09-17 21:37:28 +01:00
|
|
|
|
xfceUnstable = xfce4-14; # added 2019-09-17
|
2016-03-18 19:35:10 +00:00
|
|
|
|
x11 = xlibsWrapper; # added 2015-09
|
2018-04-26 01:55:18 +01:00
|
|
|
|
xbmc = kodi; # added 2018-04-25
|
|
|
|
|
xbmcPlain = kodiPlain; # added 2018-04-25
|
|
|
|
|
xbmcPlugins = kodiPlugins; # added 2018-04-25
|
2018-05-01 19:46:05 +01:00
|
|
|
|
xmonad_log_applet_gnome3 = xmonad_log_applet; # added 2018-05-01
|
2016-03-18 19:35:10 +00:00
|
|
|
|
xf86_video_nouveau = xorg.xf86videonouveau; # added 2015-09
|
|
|
|
|
xlibs = xorg; # added 2015-09
|
2018-09-13 16:45:42 +01:00
|
|
|
|
xpraGtk3 = xpra; # added 2018-09-13
|
2016-03-18 19:35:10 +00:00
|
|
|
|
youtubeDL = youtube-dl; # added 2014-10-26
|
2019-01-19 12:23:54 +00:00
|
|
|
|
zdfmediathk = mediathekview; # added 2019-01-19
|
2016-09-19 18:10:30 +01:00
|
|
|
|
|
2018-10-22 08:41:11 +01:00
|
|
|
|
# TODO(ekleog): add ‘wasm’ alias to ‘ocamlPackages.wasm’ after 19.03
|
2018-10-15 02:27:19 +01:00
|
|
|
|
# branch-off
|
|
|
|
|
|
2017-05-27 12:12:36 +01:00
|
|
|
|
# added 2017-05-27
|
|
|
|
|
wineMinimal = winePackages.minimal;
|
|
|
|
|
wineFull = winePackages.full;
|
|
|
|
|
wineStable = winePackages.stable;
|
|
|
|
|
wineUnstable = winePackages.unstable;
|
|
|
|
|
|
2018-03-26 12:10:35 +01:00
|
|
|
|
# added 2018-03-26
|
|
|
|
|
libva-full = libva;
|
|
|
|
|
libva1-full = libva1;
|
|
|
|
|
|
2018-07-16 16:08:30 +01:00
|
|
|
|
# forceSystem should not be used directly in Nixpkgs.
|
|
|
|
|
# added 2018-07-16
|
|
|
|
|
forceSystem = system: _:
|
|
|
|
|
(import self.path { localSystem = { inherit system; }; });
|
2018-07-26 19:52:03 +01:00
|
|
|
|
callPackage_i686 = pkgsi686Linux.callPackage;
|
2018-07-16 16:08:30 +01:00
|
|
|
|
|
2016-09-19 18:10:30 +01:00
|
|
|
|
inherit (ocaml-ng) # added 2016-09-14
|
|
|
|
|
ocamlPackages_4_00_1 ocamlPackages_4_01_0 ocamlPackages_4_02
|
|
|
|
|
ocamlPackages_4_03
|
|
|
|
|
ocamlPackages_latest;
|
2018-04-26 01:55:18 +01:00
|
|
|
|
|
|
|
|
|
gst_all = { # added 2018-04-25
|
2019-09-19 03:28:56 +01:00
|
|
|
|
inherit (pkgs) gstreamer gnonlin gst-python;
|
2018-04-26 01:55:18 +01:00
|
|
|
|
gstPluginsBase = pkgs.gst-plugins-base;
|
|
|
|
|
gstPluginsBad = pkgs.gst-plugins-bad;
|
|
|
|
|
gstPluginsGood = pkgs.gst-plugins-good;
|
|
|
|
|
gstPluginsUgly = pkgs.gst-plugins-ugly;
|
|
|
|
|
gst-plugins-base = pkgs.gst-plugins-base;
|
|
|
|
|
gst-plugins-bad = pkgs.gst-plugins-bad;
|
|
|
|
|
gst-plugins-good = pkgs.gst-plugins-good;
|
|
|
|
|
gst-plugins-ugly = pkgs.gst-plugins-ugly;
|
|
|
|
|
};
|
2019-07-31 22:12:51 +01:00
|
|
|
|
|
|
|
|
|
# added 2019-08-01
|
|
|
|
|
mumble_git = pkgs.mumble_rc;
|
|
|
|
|
murmur_git = pkgs.murmur_rc;
|
2019-09-06 17:07:34 +01:00
|
|
|
|
|
|
|
|
|
# added 2019-09-06
|
|
|
|
|
zeroc_ice = pkgs.zeroc-ice;
|
2016-09-19 18:10:30 +01:00
|
|
|
|
} // (with ocaml-ng; { # added 2016-09-14
|
|
|
|
|
ocaml_4_00_1 = ocamlPackages_4_00_1.ocaml;
|
|
|
|
|
ocaml_4_01_0 = ocamlPackages_4_01_0.ocaml;
|
|
|
|
|
ocaml_4_02 = ocamlPackages_4_02.ocaml;
|
|
|
|
|
ocaml_4_03 = ocamlPackages_4_03.ocaml;
|
2017-05-27 18:44:00 +01:00
|
|
|
|
}))
|