5cd6c65054
Nixpkgs' channel currently can't move forward so long as there is a trace in evaluating the top-level arguments. Which means that it isn't possible to add a warning message to warn users of future package removal. So the only way forward appears to be just removing the alias altogether. (cherry picked from commit b4133ebc17c2742a76d912f4f0bf46719bc7800e)
367 lines
17 KiB
Nix
367 lines
17 KiB
Nix
lib: self: super:
|
||
|
||
with self;
|
||
|
||
let
|
||
# Removing recurseForDerivation prevents derivations of aliased attribute
|
||
# set to appear while listing all the packages available.
|
||
removeRecurseForDerivations = alias: with lib;
|
||
if alias.recurseForDerivations or false then
|
||
removeAttrs alias ["recurseForDerivations"]
|
||
else alias;
|
||
|
||
# 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;
|
||
|
||
# Make sure that we are not shadowing something from
|
||
# all-packages.nix.
|
||
checkInPkgs = n: alias: if builtins.hasAttr n super
|
||
then throw "Alias ${n} is still in all-packages.nix"
|
||
else alias;
|
||
|
||
mapAliases = aliases:
|
||
lib.mapAttrs (n: alias: removeDistribute
|
||
(removeRecurseForDerivations
|
||
(checkInPkgs n alias)))
|
||
aliases;
|
||
in
|
||
|
||
### Deprecated aliases - for backward compatibility
|
||
|
||
mapAliases ({
|
||
PPSSPP = ppsspp; # added 2017-10-01
|
||
QmidiNet = qmidinet; # added 2016-05-22
|
||
accounts-qt = libsForQt5.accounts-qt; # added 2015-12-19
|
||
adobeReader = adobe-reader; # added 2013-11-04
|
||
adobe_flex_sdk = apache-flex-sdk; # added 2018-06-01
|
||
ag = silver-searcher; # added 2018-04-25
|
||
aircrackng = aircrack-ng; # added 2016-01-14
|
||
ammonite-repl = ammonite; # added 2017-05-02
|
||
arduino_core = arduino-core; # added 2015-02-04
|
||
asciidocFull = asciidoc-full; # added 2014-06-22
|
||
at_spi2_atk = at-spi2-atk; # added 2018-02-25
|
||
at_spi2_core = at-spi2-core; # added 2018-02-25
|
||
bar-xft = lemonbar-xft; # added 2015-01-16
|
||
bashCompletion = bash-completion; # Added 2016-09-28
|
||
bridge_utils = bridge-utils; # added 2015-02-20
|
||
btrfsProgs = btrfs-progs; # added 2016-01-03
|
||
buildbot = pythonPackages.buildbot; # added 2018-10-11
|
||
buildbot-full = pythonPackages.buildbot-full; # added 2018-10-11
|
||
buildbot-pkg = pythonPackages.buildbot-pkg; # added 2018-10-11
|
||
buildbot-ui = pythonPackages.buildbot-ui; # added 2018-10-11
|
||
buildbot-worker = pythonPackages.buildbot-worker; # added 2018-10-11
|
||
buildPerlPackage = perlPackages.buildPerlPackage; # added 2018-10-12
|
||
bundler_HEAD = bundler; # added 2015-11-15
|
||
cantarell_fonts = cantarell-fonts; # added 2018-03-03
|
||
checkbashism = checkbashisms; # added 2016-08-16
|
||
cifs_utils = cifs-utils; # added 2016-08
|
||
clangAnalyzer = clang-analyzer; # added 2015-02-20
|
||
clawsMail = claws-mail; # added 2016-04-29
|
||
clutter_gtk = clutter-gtk; # added 2018-02-25
|
||
conkerorWrapper = conkeror; # added 2015-01
|
||
conntrack_tools = conntrack-tools; # added 2018-05
|
||
cool-old-term = cool-retro-term; # added 2015-01-31
|
||
cupsBjnp = cups-bjnp; # added 2016-01-02
|
||
cups_filters = cups-filters; # added 2016-08
|
||
cv = progress; # added 2015-09-06
|
||
d1x_rebirth = dxx-rebirth; # added 2018-04-25
|
||
d2x_rebirth = dxx-rebirth; # added 2018-04-25
|
||
dbus_daemon = dbus.daemon; # added 2018-04-25
|
||
dbus_glib = dbus-glib; # added 2018-02-25
|
||
dbus_libs = dbus; # added 2018-04-25
|
||
dbus_tools = dbus.out; # added 2018-04-25
|
||
deadbeef-mpris2-plugin = deadbeefPlugins.mpris2; # added 2018-02-23
|
||
deadpixi-sam = deadpixi-sam-unstable;
|
||
debian_devscripts = debian-devscripts; # added 2016-03-23
|
||
desktop_file_utils = desktop-file-utils; # added 2018-02-25
|
||
devicemapper = lvm2; # added 2018-04-25
|
||
digikam5 = digikam; # added 2017-02-18
|
||
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
|
||
double_conversion = double-conversion; # 2017-11-22
|
||
dwarf_fortress = dwarf-fortress; # added 2016-01-23
|
||
emacs25Macport_25_1 = emacs25Macport; # added 2018-04-25
|
||
emacsMelpa = emacs25PackagesNg; # for backward compatibility
|
||
emacsPackagesGen = emacsPackagesFor; # added 2018-08-18
|
||
emacsPackagesNgGen = emacsPackagesNgFor; # added 2018-08-18
|
||
enblendenfuse = enblend-enfuse; # 2015-09-30
|
||
evolution_data_server = evolution-data-server; # added 2018-02-25
|
||
etcdctl = etcd; # added 2018-04-25
|
||
exfat-utils = exfat; # 2015-09-11
|
||
ffadoFull = ffado; # added 2018-05-01
|
||
firefox-esr-wrapper = firefox-esr; # 2016-01
|
||
firefox-wrapper = firefox; # 2016-01
|
||
firefoxWrapper = firefox; # 2015-09
|
||
flameGraph = flamegraph; # added 2018-04-25
|
||
font-awesome-ttf = font-awesome_4; # 2018-02-25
|
||
foomatic_filters = foomatic-filters; # 2016-08
|
||
fuse_exfat = exfat; # 2015-09-11
|
||
fuseki = apache-jena-fuseki; # added 2018-04-25
|
||
gccApple = throw "gccApple is no longer supported"; # added 2018-04-25
|
||
gdb-multitarget = gdb; # added 2017-11-13
|
||
gettextWithExpat = gettext; # 2016-02-19
|
||
git-hub = gitAndTools.git-hub; # added 2016-04-29
|
||
glib_networking = glib-networking; # added 2018-02-25
|
||
gnome-themes-standard = gnome-themes-extra; # added 2018-03-14
|
||
gnome_doc_utils = gnome-doc-utils; # added 2018-02-25
|
||
gnome_themes_standard = gnome-themes-standard; # added 2018-02-25
|
||
gnustep-make = gnustep.make; # added 2016-7-6
|
||
go-pup = pup; # added 2017-12-19
|
||
goimports = gotools; # added 2018-09-16
|
||
googleAuthenticator = google-authenticator; # added 2016-10-16
|
||
grantlee5 = libsForQt5.grantlee; # added 2015-12-19
|
||
gsettings_desktop_schemas = gsettings-desktop-schemas; # added 2018-02-25
|
||
gst_ffmpeg = gst-ffmpeg; # added 2017-02
|
||
gst_plugins_bad = gst-plugins-bad; # added 2017-02
|
||
gst_plugins_base = gst-plugins-base; # added 2017-02
|
||
gst_plugins_good = gst-plugins-good; # added 2017-02
|
||
gst_plugins_ugly = gst-plugins-ugly; # added 2017-02
|
||
gst_python = gst-python; # added 2017-02
|
||
gtk_doc = gtk-doc; # added 2018-02-25
|
||
guileCairo = guile-cairo; # added 2017-09-24
|
||
guileGnome = guile-gnome; # added 2017-09-24
|
||
guileLint = guile-lint; # added 2017-09-27
|
||
guile_lib = guile-lib; # added 2017-09-24
|
||
guile_ncurses = guile-ncurses; # added 2017-09-24
|
||
gupnp_av = gupnp-av; # added 2018-02-25
|
||
gupnp_dlna = gupnp-dlna; # added 2018-02-25
|
||
gupnp_igd = gupnp-igd; # added 2018-02-25
|
||
gupnptools = gupnp-tools; # added 2015-12-19
|
||
heimdalFull = heimdal; # added 2018-05-01
|
||
hicolor_icon_theme = hicolor-icon-theme; # added 2018-02-25
|
||
htmlTidy = html-tidy; # added 2014-12-06
|
||
iana_etc = iana-etc; # added 2017-03-08
|
||
idea = jetbrains; # added 2017-04-03
|
||
inotifyTools = inotify-tools;
|
||
jbuilder = dune; # added 2018-09-09
|
||
joseki = apache-jena-fuseki; # added 2016-02-28
|
||
json_glib = json-glib; # added 2018-02-25
|
||
kdiff3-qt5 = kdiff3; # added 2017-02-18
|
||
keepass-keefox = keepass-keepassrpc; # backwards compatibility alias, added 2018-02
|
||
keepassx-community = keepassxc; # added 2017-11
|
||
keepassx-reboot = keepassx-community; # added 2017-02-01
|
||
keepassx2-http = keepassx-reboot; # added 2016-10-17
|
||
keybase-go = keybase; # added 2016-08-24
|
||
krename-qt5 = krename; # added 2017-02-18
|
||
kvm = qemu_kvm; # added 2018-04-25
|
||
letsencrypt = certbot; # added 2016-05-16
|
||
libaudit = audit; # added 2018-04-25
|
||
libcanberra_gtk2 = libcanberra-gtk2; # added 2018-02-25
|
||
libcanberra_gtk3 = libcanberra-gtk3; # added 2018-02-25
|
||
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
|
||
libdbusmenu_qt5 = libsForQt5.libdbusmenu; # added 2015-12-19
|
||
libdbusmenu-glib = libdbusmenu; # added 2018-05-01
|
||
libgnome_keyring = libgnome-keyring; # added 2018-02-25
|
||
libgnome_keyring3 = libgnome-keyring3; # added 2018-02-25
|
||
libgumbo = gumbo; # added 2018-01-21
|
||
libintlOrEmpty = stdenv.lib.optional (!stdenv.isLinux || stdenv.hostPlatform.libc != "glibc") gettext; # added 2018-03-14
|
||
libjson_rpc_cpp = libjson-rpc-cpp; # added 2017-02-28
|
||
libmysql = mysql.connector-c; # added # 2017-12-28, this was a misnomer refering to libmysqlclient
|
||
librecad2 = librecad; # backwards compatibility alias, added 2015-10
|
||
libsysfs = sysfsutils; # added 2018-04-25
|
||
libtidy = html-tidy; # added 2014-12-21
|
||
libudev = udev; # added 2018-04-25
|
||
links = links2; # added 2016-01-31
|
||
lttngTools = lttng-tools; # added 2014-07-31
|
||
lttngUst = lttng-ust; # added 2014-07-31
|
||
lua5_1_sockets = lua51Packages.luasocket; # added 2017-05-02
|
||
lua5_expat = luaPackages.luaexpat; # added 2017-05-02
|
||
lua5_sec = luaPackages.luasec; # added 2017-05-02
|
||
m3d-linux = m33-linux; # added 2016-08-13
|
||
man_db = man-db; # added 2016-05
|
||
manpages = man-pages; # added 2015-12-06
|
||
midoriWrapper = midori; # added 2015-01
|
||
mlt-qt5 = libsForQt5.mlt; # added 2015-12-19
|
||
mobile_broadband_provider_info = mobile-broadband-provider-info; # added 2018-02-25
|
||
module_init_tools = kmod; # added 2016-04-22
|
||
mpich2 = mpich; # added 2018-08-06
|
||
msf = metasploit; # added 2018-04-25
|
||
libmsgpack = msgpack; # added 2018-08-17
|
||
mssys = ms-sys; # added 2015-12-13
|
||
multipath_tools = multipath-tools; # added 2016-01-21
|
||
mupen64plus1_5 = mupen64plus; # added 2016-02-12
|
||
mysqlWorkbench = mysql-workbench; # added 2017-01-19
|
||
nagiosPluginsOfficial = monitoring-plugins;
|
||
ncat = nmap; # added 2016-01-26
|
||
netcat-openbsd = libressl.nc; # added 2018-04-25
|
||
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
|
||
nfsUtils = nfs-utils; # added 2014-12-06
|
||
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
|
||
opencascade_oce = opencascade; # added 2018-04-25
|
||
opencl-icd = ocl-icd; # added 2017-01-20
|
||
openexr_ctl = ctl; # added 2018-04-25
|
||
openssh_with_kerberos = openssh; # added 2018-01-28
|
||
owncloudclient = owncloud-client; # added 2016-08
|
||
p11_kit = p11-kit; # added 2018-02-25
|
||
parquet-cpp = arrow-cpp; # added 2018-09-08
|
||
pass-otp = pass.withExtensions (ext: [ext.pass-otp]); # added 2018-05-04
|
||
perlXMLParser = perlPackages.XMLParser; # added 2018-10-12
|
||
perlArchiveCpio = perlPackages.ArchiveCpio; # added 2018-10-12
|
||
pgp-tools = signing-party; # added 2017-03-26
|
||
pidgin-with-plugins = pidgin; # added 2016-06
|
||
pidginlatex = pidgin-latex; # added 2018-01-08
|
||
pidginlatexSF = pidgin-latex; # added 2014-11-02
|
||
pidginmsnpecan = pidgin-msn-pecan; # added 2018-01-08
|
||
pidginosd = pidgin-osd; # added 2018-01-08
|
||
pidginotr = pidgin-otr; # added 2018-01-08
|
||
pidginsipe = pidgin-sipe; # added 2018-01-08
|
||
pidginwindowmerge = pidgin-window-merge; # added 2018-01-08
|
||
piwik = matomo; # added 2018-01-16
|
||
pltScheme = racket; # just to be sure
|
||
poppler_qt5 = libsForQt5.poppler; # added 2015-12-19
|
||
procps-ng = procps; # added 2018-06-08
|
||
prometheus-statsd-bridge = prometheus-statsd-exporter; # added 2017-08-27
|
||
pulseaudioLight = pulseaudio; # added 2018-04-25
|
||
qca-qt5 = libsForQt5.qca-qt5; # added 2015-12-19
|
||
qt_gstreamer = qt-gstreamer; # added 2017-02
|
||
qt_gstreamer1 = qt-gstreamer1; # added 2017-02
|
||
quake3game = ioquake3; # added 2016-01-14
|
||
qwt6 = libsForQt5.qwt; # added 2015-12-19
|
||
rdiff_backup = rdiff-backup; # added 2014-11-23
|
||
rdmd = dtools; # added 2017-08-19
|
||
robomongo = robo3t; #added 2017-09-28
|
||
rssglx = rss-glx; #added 2015-03-25
|
||
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";
|
||
rubygems = throw "deprecated 2016-03-02: rubygems is now bundled with ruby";
|
||
rxvt_unicode_with-plugins = rxvt_unicode-with-plugins; # added 2015-04-02
|
||
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
|
||
sam = deadpixi-sam; # added 2018-04-25
|
||
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
|
||
scollector = bosun; # added 2018-04-25
|
||
shared_mime_info = shared-mime-info; # added 2018-02-25
|
||
skrooge2 = skrooge; # added 2017-02-18
|
||
skype = skypeforlinux; # added 2017-07-27
|
||
slurm-llnl = slurm; # renamed July 2017
|
||
slurm-llnl-full = slurm-full; # renamed July 2017
|
||
slurm-full = slurm; # added 2018-05-1
|
||
smbclient = samba; # added 2018-04-25
|
||
spaceOrbit = space-orbit; # addewd 2016-05-23
|
||
speech_tools = speech-tools; # added 2018-04-25
|
||
speedtest_cli = speedtest-cli; # added 2015-02-17
|
||
spice_gtk = spice-gtk; # added 2018-02-25
|
||
spice_protocol = spice-protocol; # added 2018-02-25
|
||
sqlite3_analyzer = sqlite-analyzer; # added 2018-05-22
|
||
sqliteInteractive = sqlite-interactive; # added 2014-12-06
|
||
sshfsFuse = sshfs-fuse; # added 2016-09
|
||
suil-qt5 = suil; # added 2018-05-01
|
||
surf-webkit2 = surf; # added 2017-04-02
|
||
system_config_printer = system-config-printer; # added 2016-01-03
|
||
systool = sysfsutils; # added 2018-04-25
|
||
tahoelafs = tahoe-lafs; # added 2018-03-26
|
||
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
|
||
telepathy_qt5 = libsForQt5.telepathy; # added 2015-12-19
|
||
telepathy_salut = telepathy-salut; # added 2018-02-25
|
||
telnet = inetutils; # added 2018-05-15
|
||
terraform-provider-ibm = terraform-providers.ibm; # added 2018-09-28
|
||
terraform-provider-libvirt = terraform-providers.libvirt; # added 2018-09-28
|
||
terraform-provider-nixos = terraform-providers.nixos; # added 2018-09-28
|
||
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
|
||
tftp_hpa = tftp-hpa; # added 2015-04-03
|
||
torbrowser = tor-browser-bundle-bin; # added 2017-04-05
|
||
trang = jing-trang; # added 2018-04-25
|
||
transmission_gtk = transmission-gtk; # added 2018-01-06
|
||
transmission_remote_gtk = transmission-remote-gtk; # added 2018-01-06
|
||
tshark = wireshark-cli; # added 2018-04-25
|
||
ucsFonts = ucs-fonts; # added 2016-07-15
|
||
ultrastardx-beta = ultrastardx; # added 2017-08-12
|
||
usb_modeswitch = usb-modeswitch; # added 2016-05-10
|
||
vimbWrapper = vimb; # added 2015-01
|
||
vimprobable2Wrapper = vimprobable2; # added 2015-01
|
||
virtviewer = virt-viewer; # added 2015-12-24
|
||
vorbisTools = vorbis-tools; # added 2016-01-26
|
||
weechat-xmpp = weechatScripts.weechat-xmpp; # added 2018-09-06
|
||
weechat-matrix-bridge = weechatScripts.weechat-matrix-bridge; # added 2018-09-06
|
||
wineStaging = wine-staging; # added 2018-01-08
|
||
winusb = woeusb; # added 2017-12-22
|
||
wireguard = wireguard-tools; # added 2018-05-19
|
||
morituri = whipper; # added 2018-09-13
|
||
x11 = xlibsWrapper; # added 2015-09
|
||
xbmc = kodi; # added 2018-04-25
|
||
xbmcPlain = kodiPlain; # added 2018-04-25
|
||
xbmcPlugins = kodiPlugins; # added 2018-04-25
|
||
xmonad_log_applet_gnome3 = xmonad_log_applet; # added 2018-05-01
|
||
xf86_video_nouveau = xorg.xf86videonouveau; # added 2015-09
|
||
xlibs = xorg; # added 2015-09
|
||
xpraGtk3 = xpra; # added 2018-09-13
|
||
youtubeDL = youtube-dl; # added 2014-10-26
|
||
|
||
# TODO(ekleog): add ‘wasm’ alias to ‘ocamlPackages.wasm’ after 19.03
|
||
# branch-off
|
||
|
||
# added 2017-05-27
|
||
wineMinimal = winePackages.minimal;
|
||
wineFull = winePackages.full;
|
||
wineStable = winePackages.stable;
|
||
wineUnstable = winePackages.unstable;
|
||
|
||
# added 2018-03-26
|
||
libva-full = libva;
|
||
libva1-full = libva1;
|
||
|
||
# forceSystem should not be used directly in Nixpkgs.
|
||
# added 2018-07-16
|
||
forceSystem = system: _:
|
||
(import self.path { localSystem = { inherit system; }; });
|
||
callPackage_i686 = pkgsi686Linux.callPackage;
|
||
|
||
inherit (ocaml-ng) # added 2016-09-14
|
||
ocamlPackages_4_00_1 ocamlPackages_4_01_0 ocamlPackages_4_02
|
||
ocamlPackages_4_03
|
||
ocamlPackages_latest;
|
||
|
||
gst_all = { # added 2018-04-25
|
||
inherit (pkgs) gstreamer gnonlin gst-python qt-gstreamer;
|
||
gstPluginsBase = pkgs.gst-plugins-base;
|
||
gstPluginsBad = pkgs.gst-plugins-bad;
|
||
gstPluginsGood = pkgs.gst-plugins-good;
|
||
gstPluginsUgly = pkgs.gst-plugins-ugly;
|
||
gstFfmpeg = pkgs.gst-ffmpeg;
|
||
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;
|
||
gst-ffmpeg = pkgs.gst-ffmpeg;
|
||
};
|
||
} // (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;
|
||
}))
|