libmono-codecontracts4.0-cil - Mono.CodeContracts library (for CLI 4.0)

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package name libmono-codecontracts4.0-cil
Package version
Package release 2
Package architecture all
Package type deb
Installed size 747 B
Download size 215.57 KB
Official Mirror
Description -


Package Version Architecture Repository
libmono-codecontracts4.0-cil_4.6.2.7+dfsg-2_all.deb all Debian Main
libmono-codecontracts4.0-cil - - -


Name Value
libmono-cecil-private-cil >=
libmono-cecil-private-cil <<
libmono-corlib4.5-cil >=
libmono-system-core4.0-cil >=
libmono-system4.0-cil >=


Type URL
Binary Package libmono-codecontracts4.0-cil_4.6.2.7+dfsg-2_all.deb
Source Package mono

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libmono-codecontracts4.0-cil deb package:
    # sudo apt-get install libmono-codecontracts4.0-cil




2018-05-21 - Jo Shields <>
mono ( unstable; urgency=medium
[ Jo Shields ]
* [d8a0cfe] Add the other copy of idnmapping.cs to Lintian overrides
[ Bernhard Urban ]
* [9c7f5ae] [TermInfo] support new file format terminfo2 introduced with 
ncurses6.1 (#6960) (Closes: #899112)
See also
2016-12-15 - Jo Shields <>
mono ( unstable; urgency=medium
* [4274265] Another DEB_HOST_ARCH_OS / DEB_BUILD_ARCH_OS
* [b96315e] Handle 4->3 part version numbering difference in get-orig-source
* [64c42ea] dfsg2 -> dfsg for orig tarball
* [41bc4a8] Imported Upstream version
2016-11-12 - Jo Shields <>
mono ( unstable; urgency=high
* [aee388a] Remove dead PPC/boehm symbol
* [85aa8b5] Move call to sn.exe to *after* cil-stringreplacer.exe.
(Closes: #844082)
* [faceb4d] Use DEB_HOST_ARCH not DEB_BUILD_ARCH. Apparently.
2016-11-10 - Jo Shields <>
mono ( unstable; urgency=medium
[ Jo Shields ]
* [35555c1] Also use PThreads on all PowerPC variants.
[ Bernhard Urban ]
* [09d9fb5] [ppc] disable MONO_ARCH_HAVE_TLS_GET
`--with-tls=__thread` is broken on PowerPC.
`--with-tls=pthread` didn't work on PowerPC, but disabling
Instead of guarding the define with `HAVE_KW_THREAD`, let's just
disable it.  We want to get rid of `--with-tls=__thread` anyway.
* [3cf6e41] [ppc] use proper calling convention when coming from a signal
ELF v2 ABI (aka. ppc64le) defines two entry points per function.
The global entry point (offset 0) sets up the TOC (r2) itself, while the
local entry point (offset 8) is a fast entry point if the TOC is
already set up properly.
When the global entry point is used, the address of the global entry
point is required in r12 according to the ABI.
* [cb6969d] [ppc] enable MONO_ARCH_HAVE_SIGCTX_TO_MONOCTX on every
PowerPC configuration on Linux
* [058ed9e] [ppc] some 32bit CPUs trap on std, use stw instead
* [05a71e1] [ppc] clobber r0 in MONO_CONTEXT_GET_CURRENT
r0 can't be the base for a memory acces.
[ Jo Shields ]
2016-11-07 - Jo Shields <>
mono ( unstable; urgency=medium
[ Vlad Brezae ]
* [9763265] [mips] Don't assert when decomposing longs.
There is no point in asserting if we encounter an unhandled long op.
These ops may still get removed, if emulated later on, or maybe from
other passes. Asserting happens as a last resort when emitting the
native code for the method.
* [29ab403] [mips] Add missing define
* [d85c294] [mips] Disable div with mul on 32bit mips
[ Jo Shields ]
* [18f2ec0] Refreshed MIPS symbols (Closes: #840494)
* [e5724c1] Force pthreads on ARM and MIPS.
2016-11-06 - Jo Shields <>
mono ( unstable; urgency=medium
[ Martin Baulig ]
* [873636b] ChainValidationHelper: ignore port number when validating a 
certificate's host name.
This fixes the certificate validation bug here:
[ Jo Shields ]
* [3cfd6a2] On Debian, we don't have any reference assemblies for .NET 4.5
(as they can't be built fully from source right now), so make 
TargetFrameworkVersion 4.5.x point to $latest. This avoids the need for 
a packaging transition to change every TargetFrameworkVersion 4.5 into 4.6
2016-10-08 - Jo Shields <>
mono ( unstable; urgency=medium
* [5fa63d4] Fix PowerPC symbols. This symbols stuff is exhausting.
* [66a6d76] Fix ARM64 symbols too

See Also

Package Description
libmono-compilerservices-symbolwriter4.0-cil_4.6.2.7+dfsg-2_all.deb Mono.CompilerServices.SymbolWriter library (for CLI 4.0)
libmono-corlib4.5-cil_4.6.2.7+dfsg-2_all.deb Mono core library (for CLI 4.5)
libmono-cscompmgd0.0-cil_4.6.2.7+dfsg-2_all.deb Mono cscompmgd library (for CLI 4.0)
libmono-csharp4.0c-cil_4.6.2.7+dfsg-2_all.deb Mono.CSharp library (for CLI 4.0)
libmono-custommarshalers4.0-cil_4.6.2.7+dfsg-2_all.deb Mono CustomMarshalers library (for CLI 4.0)
libmono-data-tds4.0-cil_4.6.2.7+dfsg-2_all.deb Mono Data Library (for CLI 4.0)
libmono-db2-1.0-cil_4.6.2.7+dfsg-2_all.deb Mono DB2 library
libmono-debugger-libs-cil-dev_0+20131201.3459502-1_all.deb Mono soft debugger interface libraries - development headers
libmono-debugger-soft-cil_0+20131201.3459502-1_all.deb Mono soft debugger interface libraries - low level API
libmono-debugger-soft4.0a-cil_4.6.2.7+dfsg-2_all.deb Mono Soft Debugger library (for CLI 4.0)
libmono-debugging-cil_0+20131201.3459502-1_all.deb Mono soft debugger interface libraries - API abstraction
libmono-debugging-soft-cil_0+20131201.3459502-1_all.deb Mono soft debugger interface libraries - Mono.Debugging backend
libmono-fuse-cil_0.4.2+dfsg-4_amd64.deb CLI binding for FUSE
libmono-http4.0-cil_4.6.2.7+dfsg-2_all.deb Mono.Http library (for CLI 4.0)
libmono-i18n-cjk4.0-cil_4.6.2.7+dfsg-2_all.deb Mono I18N.CJK library (for CLI 4.0)