2016-03-18 20:35:10 +01:00
|
|
|
self:
|
|
|
|
|
|
|
|
with self;
|
|
|
|
|
2016-03-20 15:50:27 +01:00
|
|
|
let
|
2016-03-20 21:03:18 +01:00
|
|
|
# Removing recurseForDerivation prevents derivations of aliased attribute
|
2016-03-20 15:50:27 +01:00
|
|
|
# set to appear while listing all the packages available.
|
2017-05-27 19:44:00 +02:00
|
|
|
removeRecurseForDerivations = alias: with lib;
|
2016-03-20 15:50:27 +01:00
|
|
|
if alias.recurseForDerivations or false then
|
|
|
|
removeAttrs alias ["recurseForDerivations"]
|
|
|
|
else alias;
|
|
|
|
|
2017-05-27 19:44:00 +02: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;
|
|
|
|
|
|
|
|
mapAliases = aliases:
|
|
|
|
lib.mapAttrs (n: alias: removeDistribute (removeRecurseForDerivations alias)) aliases;
|
2016-03-20 15:50:27 +01:00
|
|
|
in
|
|
|
|
|
2016-03-18 20:35:10 +01:00
|
|
|
### Deprecated aliases - for backward compatibility
|
|
|
|
|
2017-05-27 19:44:00 +02:00
|
|
|
mapAliases (rec {
|
2018-01-15 12:10:23 +01:00
|
|
|
_2048-in-terminal = "2048-in-terminal"; # added 2017-01-16
|
|
|
|
_2bwm = "2bwm"; # added 2017-01-16
|
|
|
|
_389-ds-base = "389-ds-base"; # added 2017-01-16
|
|
|
|
_90secondportraits = "90secondsportraits"; # added 2017-01-16
|
|
|
|
accounts-qt = libsForQt5.accounts-qt; # added 2015-12-19
|
2017-10-01 10:33:02 +02:00
|
|
|
adobeReader = adobe-reader; # added 2013-11-04
|
2016-03-18 20:35:10 +01:00
|
|
|
aircrackng = aircrack-ng; # added 2016-01-14
|
2017-05-02 14:56:20 +02:00
|
|
|
ammonite-repl = ammonite; # added 2017-05-02
|
2016-03-18 20:35:10 +01:00
|
|
|
arduino_core = arduino-core; # added 2015-02-04
|
|
|
|
asciidocFull = asciidoc-full; # added 2014-06-22
|
2018-02-25 03:23:58 +01:00
|
|
|
at_spi2_atk = at-spi2-atk; # added 2018-02-25
|
|
|
|
at_spi2_core = at-spi2-core; # added 2018-02-25
|
2016-03-18 20:35:10 +01:00
|
|
|
bar-xft = lemonbar-xft; # added 2015-01-16
|
2016-09-28 17:46:29 +02:00
|
|
|
bashCompletion = bash-completion; # Added 2016-09-28
|
2016-03-18 20:35:10 +01:00
|
|
|
bridge_utils = bridge-utils; # added 2015-02-20
|
|
|
|
btrfsProgs = btrfs-progs; # added 2016-01-03
|
2016-03-15 21:49:07 +01:00
|
|
|
bundler_HEAD = bundler; # added 2015-11-15
|
2018-03-03 00:05:29 +01:00
|
|
|
cantarell_fonts = cantarell-fonts; # added 2018-03-03
|
2016-08-19 05:24:04 +02:00
|
|
|
checkbashism = checkbashisms; # added 2016-08-16
|
2016-08-22 17:20:28 +02:00
|
|
|
cifs_utils = cifs-utils; # added 2016-08
|
2016-03-18 20:35:10 +01:00
|
|
|
clangAnalyzer = clang-analyzer; # added 2015-02-20
|
2016-04-29 02:25:28 +02:00
|
|
|
clawsMail = claws-mail; # added 2016-04-29
|
2018-02-25 03:23:58 +01:00
|
|
|
clutter_gtk = clutter-gtk; # added 2018-02-25
|
2016-03-18 20:35:10 +01:00
|
|
|
conkerorWrapper = conkeror; # added 2015-01
|
|
|
|
cool-old-term = cool-retro-term; # added 2015-01-31
|
|
|
|
cupsBjnp = cups-bjnp; # added 2016-01-02
|
2016-08-25 17:47:34 +02:00
|
|
|
cups_filters = cups-filters; # added 2016-08
|
2016-03-18 20:35:10 +01:00
|
|
|
cv = progress; # added 2015-09-06
|
2018-02-25 03:23:58 +01:00
|
|
|
dbus_glib = dbus-glib; # added 2018-02-25
|
2018-02-24 00:11:03 +01:00
|
|
|
deadbeef-mpris2-plugin = deadbeefPlugins.mpris2; # added 2018-02-23
|
2016-03-23 13:36:31 +01:00
|
|
|
debian_devscripts = debian-devscripts; # added 2016-03-23
|
2018-02-25 03:23:58 +01:00
|
|
|
desktop_file_utils = desktop-file-utils; # added 2018-02-25
|
2017-02-18 18:55:57 +01:00
|
|
|
digikam5 = digikam; # added 2017-02-18
|
2017-11-23 00:34:18 +01:00
|
|
|
double_conversion = double-conversion; # 2017-11-22
|
2016-03-18 20:35:10 +01:00
|
|
|
dwarf_fortress = dwarf-fortress; # added 2016-01-23
|
|
|
|
dwbWrapper = dwb; # added 2015-01
|
|
|
|
enblendenfuse = enblend-enfuse; # 2015-09-30
|
2018-02-25 03:23:58 +01:00
|
|
|
evolution_data_server = evolution-data-server; # added 2018-02-25
|
2016-03-18 20:35:10 +01:00
|
|
|
exfat-utils = exfat; # 2015-09-11
|
|
|
|
firefox-esr-wrapper = firefox-esr; # 2016-01
|
|
|
|
firefox-wrapper = firefox; # 2016-01
|
|
|
|
firefoxWrapper = firefox; # 2015-09
|
2018-02-25 18:50:20 +01:00
|
|
|
font-awesome-ttf = font-awesome_4; # 2018-02-25
|
2016-08-26 08:45:16 +02:00
|
|
|
foomatic_filters = foomatic-filters; # 2016-08
|
2016-03-18 20:35:10 +01:00
|
|
|
fuse_exfat = exfat; # 2015-09-11
|
|
|
|
gettextWithExpat = gettext; # 2016-02-19
|
2017-10-17 22:44:24 +02:00
|
|
|
gdb-multitarget = gdb; # added 2017-11-13
|
2016-04-29 21:40:41 +02:00
|
|
|
git-hub = gitAndTools.git-hub; # added 2016-04-29
|
2018-02-25 03:23:58 +01:00
|
|
|
glib_networking = glib-networking; # added 2018-02-25
|
2017-12-20 00:33:33 +01:00
|
|
|
go-pup = pup; # added 2017-12-19
|
2016-10-16 22:29:49 +02:00
|
|
|
googleAuthenticator = google-authenticator; # added 2016-10-16
|
2018-02-25 03:23:58 +01:00
|
|
|
gnome_doc_utils = gnome-doc-utils; # added 2018-02-25
|
2018-03-14 15:12:08 +01:00
|
|
|
gnome-themes-standard = gnome-themes-extra; # added 2018-03-14
|
2018-02-25 03:23:58 +01:00
|
|
|
gnome_themes_standard = gnome-themes-standard; # added 2018-02-25
|
2017-02-25 16:44:01 +01:00
|
|
|
grantlee5 = libsForQt5.grantlee; # added 2015-12-19
|
2018-02-25 03:23:58 +01:00
|
|
|
gsettings_desktop_schemas = gsettings-desktop-schemas; # added 2018-02-25
|
2017-02-26 20:31:29 +01:00
|
|
|
gst_ffmpeg = gst-ffmpeg; # added 2017-02
|
2017-02-26 21:25:29 +01:00
|
|
|
gst_plugins_base = gst-plugins-base; # added 2017-02
|
2017-02-26 20:36:20 +01:00
|
|
|
gst_plugins_good = gst-plugins-good; # added 2017-02
|
2017-02-26 20:36:54 +01:00
|
|
|
gst_plugins_bad = gst-plugins-bad; # added 2017-02
|
2017-02-26 20:37:41 +01:00
|
|
|
gst_plugins_ugly = gst-plugins-ugly; # added 2017-02
|
2017-02-26 20:30:00 +01:00
|
|
|
gst_python = gst-python; # added 2017-02
|
2018-02-25 03:23:58 +01:00
|
|
|
gtk_doc = gtk-doc; # added 2018-02-25
|
2017-09-24 15:45:11 +02:00
|
|
|
guileCairo = guile-cairo; # added 2017-09-24
|
|
|
|
guileGnome = guile-gnome; # added 2017-09-24
|
|
|
|
guile_lib = guile-lib; # added 2017-09-24
|
2017-09-27 12:59:56 +02:00
|
|
|
guileLint = guile-lint; # added 2017-09-27
|
2017-09-24 15:45:11 +02:00
|
|
|
guile_ncurses = guile-ncurses; # added 2017-09-24
|
2018-02-25 03:23:58 +01: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 20:35:10 +01:00
|
|
|
gupnptools = gupnp-tools; # added 2015-12-19
|
2016-07-06 22:30:30 +02:00
|
|
|
gnustep-make = gnustep.make; # added 2016-7-6
|
2018-02-25 03:23:58 +01:00
|
|
|
hicolor_icon_theme = hicolor-icon-theme; # added 2018-02-25
|
2016-03-18 20:35:10 +01:00
|
|
|
htmlTidy = html-tidy; # added 2014-12-06
|
2017-03-19 12:40:52 +01:00
|
|
|
iana_etc = iana-etc; # added 2017-03-08
|
2017-04-03 03:21:30 +02:00
|
|
|
idea = jetbrains; # added 2017-04-03
|
2016-03-18 20:35:10 +01:00
|
|
|
inotifyTools = inotify-tools;
|
|
|
|
joseki = apache-jena-fuseki; # added 2016-02-28
|
2018-02-25 03:23:58 +01:00
|
|
|
json_glib = json-glib; # added 2018-02-25
|
2017-02-18 19:02:15 +01:00
|
|
|
kdiff3-qt5 = kdiff3; # added 2017-02-18
|
2016-10-18 05:43:11 +02:00
|
|
|
keepassx2-http = keepassx-reboot; # added 2016-10-17
|
2017-02-02 03:21:34 +01:00
|
|
|
keepassx-reboot = keepassx-community; # added 2017-02-01
|
2017-11-07 16:54:01 +01:00
|
|
|
keepassx-community = keepassxc; # added 2017-11
|
2016-08-25 00:21:36 +02:00
|
|
|
keybase-go = keybase; # added 2016-08-24
|
2017-02-18 19:04:57 +01:00
|
|
|
krename-qt5 = krename; # added 2017-02-18
|
2016-05-16 22:39:34 +02:00
|
|
|
letsencrypt = certbot; # added 2016-05-16
|
2017-02-25 16:44:01 +01:00
|
|
|
libdbusmenu_qt5 = libsForQt5.libdbusmenu; # added 2015-12-19
|
2018-02-25 03:23:58 +01:00
|
|
|
libcanberra_gtk2 = libcanberra-gtk2; # added 2018-02-25
|
|
|
|
libcanberra_gtk3 = libcanberra-gtk3; # added 2018-02-25
|
2016-04-29 04:42:30 +02: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-02-25 03:23:58 +01:00
|
|
|
libgnome_keyring = libgnome-keyring; # added 2018-02-25
|
|
|
|
libgnome_keyring3 = libgnome-keyring3; # added 2018-02-25
|
2018-01-21 14:29:45 +01:00
|
|
|
libgumbo = gumbo; # added 2018-01-21
|
2017-02-28 17:11:32 +01:00
|
|
|
libjson_rpc_cpp = libjson-rpc-cpp; # added 2017-02-28
|
2017-12-28 14:07:52 +01:00
|
|
|
libmysql = mysql.connector-c; # added # 2017-12-28, this was a misnomer refering to libmysqlclient
|
2016-03-18 20:35:10 +01:00
|
|
|
libtidy = html-tidy; # added 2014-12-21
|
|
|
|
links = links2; # added 2016-01-31
|
|
|
|
lttngTools = lttng-tools; # added 2014-07-31
|
|
|
|
lttngUst = lttng-ust; # added 2014-07-31
|
2017-05-02 12:44:00 +02:00
|
|
|
lua5_sec = luaPackages.luasec; # added 2017-05-02
|
|
|
|
lua5_1_sockets = lua51Packages.luasocket; # added 2017-05-02
|
|
|
|
lua5_expat = luaPackages.luaexpat; # added 2017-05-02
|
2017-01-20 00:48:24 +01:00
|
|
|
m3d-linux = m33-linux; # added 2016-08-13
|
2016-03-18 20:35:10 +01:00
|
|
|
manpages = man-pages; # added 2015-12-06
|
2016-05-23 19:50:25 +02:00
|
|
|
man_db = man-db; # added 2016-05
|
2018-01-16 17:02:57 +01:00
|
|
|
piwik = matomo; # added 2018-01-16
|
2016-03-18 20:35:10 +01:00
|
|
|
midoriWrapper = midori; # added 2015-01
|
2017-12-01 01:36:15 +01:00
|
|
|
minc_tools = minc-tools; # 2017-12
|
2017-02-25 16:44:01 +01:00
|
|
|
mlt-qt5 = libsForQt5.mlt; # added 2015-12-19
|
2018-02-25 03:23:58 +01:00
|
|
|
mobile_broadband_provider_info = mobile-broadband-provider-info; # added 2018-02-25
|
2016-04-22 09:44:55 +02:00
|
|
|
module_init_tools = kmod; # added 2016-04-22
|
2016-03-18 20:35:10 +01: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 16:39:28 +01:00
|
|
|
mysqlWorkbench = mysql-workbench; # added 2017-01-19
|
2016-01-26 02:58:17 +01:00
|
|
|
ncat = nmap; # added 2016-01-26
|
2018-02-25 03:23:58 +01: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_pptp = networkmanager-pptp; # added 2018-02-25
|
|
|
|
networkmanager_vpnc = networkmanager-vpnc; # added 2018-02-25
|
2017-01-19 20:01:43 +01:00
|
|
|
nmap_graphical = nmap-graphical; # added 2017-01-19
|
2016-03-18 20:35:10 +01:00
|
|
|
nfsUtils = nfs-utils; # added 2014-12-06
|
2017-01-20 00:48:24 +01:00
|
|
|
opencl-icd = ocl-icd; # added 2017-01-20
|
2018-02-14 10:53:54 +01:00
|
|
|
openssh_with_kerberos = openssh; # added 2018-01-28
|
2016-08-21 21:33:56 +02:00
|
|
|
owncloudclient = owncloud-client; # added 2016-08
|
2018-02-25 03:23:58 +01:00
|
|
|
p11_kit = p11-kit; # added 2018-02-25
|
2016-12-29 21:12:49 +01:00
|
|
|
pgp-tools = signing-party; # added 2017-03-26
|
2016-06-09 12:19:44 +02:00
|
|
|
pidgin-with-plugins = pidgin; # added 2016-06
|
2018-01-08 04:16:24 +01:00
|
|
|
pidginlatexSF = pidgin-latex; # added 2014-11-02
|
|
|
|
pidginlatex = pidgin-latex; # added 2018-01-08
|
|
|
|
pidginmsnpecan = pidgin-msn-pecan; # added 2018-01-08
|
|
|
|
pidginotr = pidgin-otr; # added 2018-01-08
|
|
|
|
pidginosd = pidgin-osd; # added 2018-01-08
|
|
|
|
pidginsipe = pidgin-sipe; # added 2018-01-08
|
|
|
|
pidginwindowmerge = pidgin-window-merge; # added 2018-01-08
|
2017-11-02 20:35:05 +01:00
|
|
|
postage = pgmanage; # added 2017-11-03
|
2017-02-25 16:44:01 +01:00
|
|
|
poppler_qt5 = libsForQt5.poppler; # added 2015-12-19
|
2017-10-01 10:33:02 +02:00
|
|
|
PPSSPP = ppsspp; # added 2017-10-01
|
2017-08-27 23:18:42 +02:00
|
|
|
prometheus-statsd-bridge = prometheus-statsd-exporter; # added 2017-08-27
|
2017-02-25 16:44:01 +01:00
|
|
|
qca-qt5 = libsForQt5.qca-qt5; # added 2015-12-19
|
2016-05-22 18:04:31 +02:00
|
|
|
QmidiNet = qmidinet; # added 2016-05-22
|
2017-02-26 20:39:32 +01:00
|
|
|
qt_gstreamer = qt-gstreamer; # added 2017-02
|
2017-02-26 20:40:56 +01:00
|
|
|
qt_gstreamer1 = qt-gstreamer1; # added 2017-02
|
2016-03-18 20:35:10 +01:00
|
|
|
quake3game = ioquake3; # added 2016-01-14
|
2017-02-25 16:44:01 +01:00
|
|
|
qwt6 = libsForQt5.qwt; # added 2015-12-19
|
2016-03-18 20:35:10 +01:00
|
|
|
rdiff_backup = rdiff-backup; # added 2014-11-23
|
2017-08-19 17:20:34 +02:00
|
|
|
rdmd = dtools; # added 2017-08-19
|
2017-09-28 17:58:42 +02:00
|
|
|
robomongo = robo3t; #added 2017-09-28
|
2016-03-18 20:35:10 +01:00
|
|
|
rssglx = rss-glx; #added 2015-03-25
|
2018-02-14 10:53:54 +01: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";
|
|
|
|
ruby_2_2_9 = throw "deprecated 2018-0213: use ruby_2_2 instead";
|
|
|
|
ruby_2_3_6 = throw "deprecated 2018-0213: use ruby_2_3 instead";
|
|
|
|
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 20:35:10 +01: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
|
|
|
|
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
|
|
|
|
scim = sc-im; # added 2016-01-22
|
2018-02-25 03:23:58 +01:00
|
|
|
shared_mime_info = shared-mime-info; # added 2018-02-25
|
2017-02-18 19:08:57 +01:00
|
|
|
skrooge2 = skrooge; # added 2017-02-18
|
2017-07-27 21:57:46 +02:00
|
|
|
skype = skypeforlinux; # added 2017-07-27
|
2016-03-03 18:54:59 +01:00
|
|
|
spaceOrbit = space-orbit; # addewd 2016-05-23
|
2016-03-18 20:35:10 +01:00
|
|
|
speedtest_cli = speedtest-cli; # added 2015-02-17
|
2018-02-25 03:23:58 +01:00
|
|
|
spice_gtk = spice-gtk; # added 2018-02-25
|
|
|
|
spice_protocol = spice-protocol; # added 2018-02-25
|
2016-03-18 20:35:10 +01:00
|
|
|
sqliteInteractive = sqlite-interactive; # added 2014-12-06
|
2017-08-19 21:42:50 +02:00
|
|
|
sshfs = sshfs-fuse; # added 2017-08-14
|
2016-09-18 17:41:55 +02:00
|
|
|
sshfsFuse = sshfs-fuse; # added 2016-09
|
2017-04-02 19:50:28 +02:00
|
|
|
surf-webkit2 = surf; # added 2017-04-02
|
2016-03-18 20:35:10 +01:00
|
|
|
system_config_printer = system-config-printer; # added 2016-01-03
|
2018-02-25 03:23:58 +01: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 16:44:01 +01:00
|
|
|
telepathy_qt5 = libsForQt5.telepathy; # added 2015-12-19
|
2018-02-25 03:23:58 +01:00
|
|
|
telepathy_salut = telepathy-salut; # added 2018-02-25
|
2016-03-18 20:35:10 +01:00
|
|
|
tftp_hpa = tftp-hpa; # added 2015-04-03
|
2018-01-06 08:15:08 +01:00
|
|
|
transmission_gtk = transmission-gtk; # added 2018-01-06
|
2018-01-06 09:24:12 +01:00
|
|
|
transmission_remote_gtk = transmission-remote-gtk; # added 2018-01-06
|
2016-07-23 02:07:44 +02:00
|
|
|
ucsFonts = ucs-fonts; # added 2016-07-15
|
2017-08-12 14:01:08 +02:00
|
|
|
ultrastardx-beta = ultrastardx; # added 2017-08-12
|
2016-05-10 22:54:45 +02:00
|
|
|
usb_modeswitch = usb-modeswitch; # added 2016-05-10
|
2016-03-18 20:35:10 +01: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
|
2017-12-22 06:20:11 +01:00
|
|
|
winusb = woeusb; # added 2017-12-22
|
2016-03-18 20:35:10 +01:00
|
|
|
x11 = xlibsWrapper; # added 2015-09
|
|
|
|
xf86_video_nouveau = xorg.xf86videonouveau; # added 2015-09
|
|
|
|
xlibs = xorg; # added 2015-09
|
|
|
|
youtubeDL = youtube-dl; # added 2014-10-26
|
2016-09-19 19:10:30 +02:00
|
|
|
|
2017-05-27 13:12:36 +02:00
|
|
|
# added 2017-05-27
|
|
|
|
wineMinimal = winePackages.minimal;
|
|
|
|
wineFull = winePackages.full;
|
|
|
|
wineStable = winePackages.stable;
|
|
|
|
wineUnstable = winePackages.unstable;
|
|
|
|
|
2016-09-19 19:10:30 +02:00
|
|
|
inherit (ocaml-ng) # added 2016-09-14
|
|
|
|
ocamlPackages_3_10_0 ocamlPackages_3_11_2 ocamlPackages_3_12_1
|
|
|
|
ocamlPackages_4_00_1 ocamlPackages_4_01_0 ocamlPackages_4_02
|
|
|
|
ocamlPackages_4_03
|
|
|
|
ocamlPackages_latest;
|
|
|
|
} // (with ocaml-ng; { # added 2016-09-14
|
|
|
|
ocaml_3_08_0 = ocamlPackages_3_08_0.ocaml;
|
|
|
|
ocaml_3_10_0 = ocamlPackages_3_10_0.ocaml;
|
|
|
|
ocaml_3_11_2 = ocamlPackages_3_11_2.ocaml;
|
|
|
|
ocaml_3_12_1 = ocamlPackages_3_12_1.ocaml;
|
|
|
|
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;
|
|
|
|
ocaml = ocamlPackages.ocaml;
|
2017-05-27 19:44:00 +02:00
|
|
|
}))
|