Update
This commit is contained in:
@@ -1,4 +1,4 @@
|
||||
# Created by paludis-3.0.0 on Wed Feb 22 15:09:38 CET 2017
|
||||
# Created by paludis-3.0.0 on Wed Mar 8 09:52:12 CET 2017
|
||||
CHOST="x86_64-pc-linux-gnu"
|
||||
DEPENDENCIES="( build: virtual/pkg-config build+run: dev-lang/mono[>=4.2.2.30-r1] ) [[ defined-in = [ fsharp-scm.exheres-0 ] ]] ( ( build+fetch: sys-apps/util-linux[>=2.13_pre2] dev-scm/git[>=1.6.0][curl] net-misc/curl[ssl(+)] ) ) [[ defined-in = [ scm.exlib ] ]] ( build: sys-devel/libtool sys-devel/autoconf:2.5 sys-devel/automake:1.12 ) [[ defined-in = [ autotools.exlib ] ]]"
|
||||
DESCRIPTION=""
|
||||
@@ -12,7 +12,7 @@ SLOT="0"
|
||||
DOWNLOADS=""
|
||||
OPTIONS=""
|
||||
GENERATED_USING="paludis-3.0.0"
|
||||
GENERATED_TIME="1487772578"
|
||||
GENERATED_TIME="1488963132"
|
||||
SUBOPTIONS="AMD64_CPU_FEATURES ANT_DATA_TYPES ANT_SCRIPTING ANT_TASKS APACHE_MODULES ARM_CPU_FEATURES CONTRIB_MODULES COURIER_MODULES ENCODINGS EPIPHANY_EXTENSIONS EXTENSIONS FPRINT_DRIVERS GCC_VERSION GIT_REMOTE_HELPERS GSTREAMER_PLUGINS IM_PROTOCOLS INPUT_DRIVERS KDE_PARTS KIPI_PLUGINS KOPETE_PLUGINS LIBC LINGUAS LUA_ABIS MODULES MULTIBUILD_C NGINX_MODULES NUT_DRIVERS P2P_NETWORKS PCSC_DRIVERS PHP_ABIS PHP_EXTENSIONS PLATFORM PLUGINS POSTGRESQL_EXTENSIONS PROVIDERS PYTHON_ABIS RUBY_ABIS TARGETS VALA_ABIS VIDEO_DRIVERS X86_CPU_FEATURES"
|
||||
HIDDEN_SUBOPTIONS="ARM_CPU_FEATURES LIBC MULTIBUILD_C PLATFORM X86_CPU_FEATURES"
|
||||
ASFLAGS=""
|
||||
@@ -28,7 +28,7 @@ LIBCXXFLAGS=""
|
||||
GENERATED_FROM_REPOSITORY="hasufell"
|
||||
PLATFORMS="~amd64"
|
||||
BINARY_PLATFORMS="~amd64"
|
||||
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--dev-lang--fsharp-scm--C.7047.1487772576.318235.C.tar.bz2"
|
||||
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--dev-lang--fsharp-scm--C.6683.1488963130.446793.C.tar.bz2"
|
||||
SUMMARY="The F# compiler, core library and core tools (open source edition)"
|
||||
BUGS_TO="virkony@gmail.com"
|
||||
REMOTE_IDS=" github:fsharp/fsharp "
|
||||
|
||||
Reference in New Issue
Block a user