Your message dated Fri, 17 Jan 2014 05:48:43 +0000 with message-id <[email protected]> and subject line Bug#706683: fixed in fsharp 3.0.34+dfsg-1 has caused the Debian Bug report #706683, regarding fsharpc can't find FSharp.Core.dll to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 706683: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=706683 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: fsharp Version: 3.0.26-1 After installing the package, running "fsharpc" on a test file gives an error. Using an explicit reference to FSharp.Core.dll and mscorlib.dll works correctly. $ fsharpc a.fs /home/azureuser/unknown(1,1): error FS0078: Unable to find the file 'FSharp.Core.dll' in any of /usr/lib/mono/4.0 /home/azureuser /usr/lib/mono/4.0 $ fsharpc -r:/usr/lib/cli/FSharp.Core-4.3/FSharp.Core.dll -r:/usr/lib/mono/4.0/mscorlib.dll --noframework a.fs I suggest that the FSharp.Core.dll be installed into /usr/lib/mono/4.0. I installed the packages on Ubuntu as follows: Added the following to /etc/apt/sources.list: deb http://http.us.debian.org/debian/ unstable main contrib non-free deb-src http://http.us.debian.org/debian/ unstable main contrib non-free Got the following packages: sudo apt-get install mono-devel sudo apt-get install fsharp sudo apt-get install fsharp-console
--- End Message ---
--- Begin Message ---Source: fsharp Source-Version: 3.0.34+dfsg-1 We believe that the bug you reported is fixed in the latest version of fsharp, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Christopher James Halse Rogers <[email protected]> (supplier of updated fsharp package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing [email protected]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 17 Jan 2014 16:20:20 +1100 Source: fsharp Binary: fsharp fsharp-console libfsharp-build4.3-cil libfsharp-compiler4.3-cil libfsharp-compiler-interactive-settings4.3-cil libfsharp-compiler-server-shared4.3-cil libfsharp-core4.3-cil libfsharp-data-typeproviders4.3-cil Architecture: source all Version: 3.0.34+dfsg-1 Distribution: experimental Urgency: low Maintainer: Debian CLI Applications Team <[email protected]> Changed-By: Christopher James Halse Rogers <[email protected]> Description: fsharp - functional-first programming language - compiler for the CLI fsharp-console - functional-first programming language - interactive compiler libfsharp-build4.3-cil - functional-first programming language - build configuration libfsharp-compiler-interactive-settings4.3-cil - functional-first programming language - interactive configuration libfsharp-compiler-server-shared4.3-cil - functional-first programming language - server interaction librar libfsharp-compiler4.3-cil - functional-first programming language - compiler library libfsharp-core4.3-cil - functional-first programming language - core runtime library libfsharp-data-typeproviders4.3-cil - functional-first programming language - data integration library Closes: 705906 706683 Changes: fsharp (3.0.34+dfsg-1) experimental; urgency=low . * New upstream release * Add README.source, documenting the +dfsg * Add Vcs-Git headers * Don't build 2.0- and 3.5-profile F# libraries * Fix incorrect permissions more carefully * Bump standards version to 3.9.5 (no changes required) * Properly mark as team-maintained * Make watch file more robust * Use new cli-common infrastructure to install core libraries in framework paths (Closes: #705906, #706683) * Debian CLI policy fixes for fsharpc and fsharpi - now supports parallel mono installations! * debian/patches/never-ask-for-debug-symbols.patch: Disable request of debug symbols for dynamically generated code by fsharpi - Mono does not implement this (cf: https://github.com/fsharp/fsharp/issues/241) Checksums-Sha1: c9c44f9a72c36be3b99d7e25219ec990619b0a6a 2077 fsharp_3.0.34+dfsg-1.dsc 6fda35ed684a27b25858c2067453d738e5410133 9103706 fsharp_3.0.34+dfsg.orig.tar.gz d4f23c78a8f58430ce7c9d720e67190cc71755da 5392 fsharp_3.0.34+dfsg-1.debian.tar.xz 3b187801e8e5459d832260e9c6b9a70a3d5ddd42 18242 fsharp_3.0.34+dfsg-1_all.deb add9000ad72a3560dec3521275c1c4f24d8e9872 84622 fsharp-console_3.0.34+dfsg-1_all.deb 572e191ea7bf2602eed4b6e035f8b8b7d624765f 19664 libfsharp-build4.3-cil_3.0.34+dfsg-1_all.deb d036f5933b84950e88e7748bfc55f45ea953786b 2391816 libfsharp-compiler4.3-cil_3.0.34+dfsg-1_all.deb a6e68e2b9b932d58b978d8c716f223fb4e8360b2 10624 libfsharp-compiler-interactive-settings4.3-cil_3.0.34+dfsg-1_all.deb 11c01ffc88e096ca7d65da9016c69190a1147582 5730 libfsharp-compiler-server-shared4.3-cil_3.0.34+dfsg-1_all.deb cbf8b1dd35d8823775d5e2aae60a9bf5cb6177c4 455094 libfsharp-core4.3-cil_3.0.34+dfsg-1_all.deb 07492201e23bbe77fa2b8acd9422875f0b2e8d62 104408 libfsharp-data-typeproviders4.3-cil_3.0.34+dfsg-1_all.deb Checksums-Sha256: ce47ead7dcda43397a727d16601c4bc83d7e3070da3f29dd4795b9602d12e1d0 2077 fsharp_3.0.34+dfsg-1.dsc 3141d6a5938e9d0d58fb75fa7a4fe9eb7177cbec5c41bf0f3a37dfbcd3210eb3 9103706 fsharp_3.0.34+dfsg.orig.tar.gz 2ec646744e30fb2ab653a627e1bc9f94e8601549866c94f646795c985aef0699 5392 fsharp_3.0.34+dfsg-1.debian.tar.xz 762257fd0464aba951501fd9972d7661aa9b4e5650e2258ebcb7df2cd5b8df9b 18242 fsharp_3.0.34+dfsg-1_all.deb 9d459282264ecb9c2c581ec82ec639d101aa91b9f4b33cce92393e477e9e051f 84622 fsharp-console_3.0.34+dfsg-1_all.deb 4c7dae24c0577bd087c43bf965d159f6a0e5c7f690315ada71b5d519e217f472 19664 libfsharp-build4.3-cil_3.0.34+dfsg-1_all.deb d44afb8ad5a8f9b9e63f80c1a766a962ac9f2f8751084cc6f1f04b467865ecc0 2391816 libfsharp-compiler4.3-cil_3.0.34+dfsg-1_all.deb 674e6825b97beff555403953eb453fe502ce2655be4e0e308a0c842e4d57b2ca 10624 libfsharp-compiler-interactive-settings4.3-cil_3.0.34+dfsg-1_all.deb 68ce8dbc05bc34d6e353f78f81fb988281e57faef4b401079fdb8cd9786654e4 5730 libfsharp-compiler-server-shared4.3-cil_3.0.34+dfsg-1_all.deb 35544759e11e3e24c81cff70498d4d86eee51ec31f8f309c48f7065db0f4b79b 455094 libfsharp-core4.3-cil_3.0.34+dfsg-1_all.deb 41abcafa88ad18b68b22658b2528dfc03132084e8c8c8bfb143ae194c10f9878 104408 libfsharp-data-typeproviders4.3-cil_3.0.34+dfsg-1_all.deb Files: bd298bcb5f1965a5312acb1bd4c3587c 2077 cli-mono optional fsharp_3.0.34+dfsg-1.dsc 51c79c9d9043619d314227ad4573d75c 9103706 cli-mono optional fsharp_3.0.34+dfsg.orig.tar.gz 393800fbedbf69bc47fdd0c0904e663e 5392 cli-mono optional fsharp_3.0.34+dfsg-1.debian.tar.xz 81ffadb9f51e5c09915f62feaef66a64 18242 cli-mono optional fsharp_3.0.34+dfsg-1_all.deb fbb02192e01c79b4f9916a077c7d8476 84622 cli-mono optional fsharp-console_3.0.34+dfsg-1_all.deb c39275fd19b5f8aca28036d4a97ea2fb 19664 cli-mono optional libfsharp-build4.3-cil_3.0.34+dfsg-1_all.deb 145836eec51b667ddfc36225b9d95984 2391816 cli-mono optional libfsharp-compiler4.3-cil_3.0.34+dfsg-1_all.deb a82e7fb6596c329db806e80864da6866 10624 cli-mono optional libfsharp-compiler-interactive-settings4.3-cil_3.0.34+dfsg-1_all.deb bb3ff9e64ddc933132107d6c50b44c98 5730 cli-mono optional libfsharp-compiler-server-shared4.3-cil_3.0.34+dfsg-1_all.deb 9715baa81e8ea3ff2d9f1bfade846a39 455094 cli-mono optional libfsharp-core4.3-cil_3.0.34+dfsg-1_all.deb 690d691116aa00d0aa27fdadac9c597b 104408 cli-mono optional libfsharp-data-typeproviders4.3-cil_3.0.34+dfsg-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iJwEAQECAAYFAlLYwVUACgkQcJWf5zskR2HrzQP/apLO5bA/FrzSondEz5G/KHbQ CNA0LfXHWA0669mKO5s6E2YfmqdrzMHisjVvsT72KHZmS6zVy2YdA+VzZkxND66I rQcfoNcBgEldrYo3JrZVBgtL0imuKgKKX0NqkOiR9kYP/TXy3hz3YPSZgnKpUBlq I4dCBxJYhLOq0rj0VIo= =UKFY -----END PGP SIGNATURE-----
--- End Message ---

