coq-ide-8.9.1-2.mga8.x86_64.rpm


Advertisement

Description

coq-ide - The Coq Integrated Development Interface

Property Value
Distribution Mageia Cauldron
Repository Mageia Core x86_64
Package filename coq-ide-8.9.1-2.mga8.x86_64.rpm
Package name coq-ide
Package version 8.9.1
Package release 2.mga8
Package architecture x86_64
Package type rpm
Category Sciences/Computer science
Homepage https://coq.inria.fr
License LGPLv2
Maintainer -
Download size 14.40 MB
Installed size 57.51 MB
The Coq Integrated Development Interface is a graphical interface for the
Coq proof assistant.

Alternatives

Package Version Architecture Repository
coq-ide-8.9.1-2.mga8.i586.rpm 8.9.1 i586 Mageia Core
coq-ide - - -

Requires

Name Value
coq == 8.9.1
libatk-1.0.so.0()(64bit) -
libc.so.6()(64bit) -
libc.so.6(GLIBC_2.10)(64bit) -
libc.so.6(GLIBC_2.11)(64bit) -
libc.so.6(GLIBC_2.14)(64bit) -
libc.so.6(GLIBC_2.15)(64bit) -
libc.so.6(GLIBC_2.16)(64bit) -
libc.so.6(GLIBC_2.17)(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.28)(64bit) -
libc.so.6(GLIBC_2.3)(64bit) -
libc.so.6(GLIBC_2.3.2)(64bit) -
libc.so.6(GLIBC_2.3.4)(64bit) -
libc.so.6(GLIBC_2.4)(64bit) -
libc.so.6(GLIBC_2.7)(64bit) -
libc.so.6(GLIBC_2.9)(64bit) -
libcairo.so.2()(64bit) -
libdl.so.2()(64bit) -
libdl.so.2(GLIBC_2.2.5)(64bit) -
libfontconfig.so.1()(64bit) -
libfreetype.so.6()(64bit) -
libgdk-x11-2.0.so.0()(64bit) -
libgdk_pixbuf-2.0.so.0()(64bit) -
libgio-2.0.so.0()(64bit) -
libglib-2.0.so.0()(64bit) -
libgmodule-2.0.so.0()(64bit) -
libgobject-2.0.so.0()(64bit) -
libgtk-x11-2.0.so.0()(64bit) -
libgtksourceview-2.0.so.0()(64bit) -
libharfbuzz.so.0()(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libm.so.6(GLIBC_2.27)(64bit) -
libm.so.6(GLIBC_2.29)(64bit) -
libpango-1.0.so.0()(64bit) -
libpangocairo-1.0.so.0()(64bit) -
libpangoft2-1.0.so.0()(64bit) -
libpthread.so.0()(64bit) -
libpthread.so.0(GLIBC_2.2.5)(64bit) -
libpthread.so.0(GLIBC_2.3.2)(64bit) -
ocaml(CArray) == b5eb934b25c6212fecb1a01b4da24b0f
ocaml(CList) == a7e6399f89adbd7ed9b19d9d27407a50
ocaml(CMap) == 71ae7234b01a01078af129cf453902d1
ocaml(CSet) == 70dd67704fabab68c9d33cc7dd72fb72
ocaml(CSig) == ae874d6be52a502c372c47bee18772b7
ocaml(CStack) == b2b337c481a09ab0f82ee7b151d986e5
ocaml(CString) == 7498ba6258aaaa6ef46a74149adaa096
ocaml(CamlinternalFormatBasics) == f562e7b79dbe1bb1591060d6b4e854cf
ocaml(CamlinternalLazy) == 4dbf494440e1d7857c9e9f8079808cd4
ocaml(Coq) == a934ee1625e306e815694f1e8904f011
ocaml(CoqOps) == c78439f2c9b115558327d5ae6a8d688d
ocaml(Exninfo) == 9366260ce7708f7b67842546149afbda
ocaml(Feedback) == 781a4be0f47d221e0ca7eb2142095411
ocaml(FileOps) == c7e68577a96be7709c9edf61c40fbfa3
ocaml(GAction) == 63592445ded5672c353cc0b3f38c05e6
ocaml(GBin) == c9ed50bbf2ea0b1165b4c1c904674a8c
ocaml(GButton) == 26a774fda54f5ca9801942fbc0ed4d60
ocaml(GContainer) == cd29d94b42abf4ff32f2be6deb40b52e
ocaml(GData) == 7299f7a24a85ca5423a9197f84b67c29
ocaml(GDraw) == 03e48c3d121d272823d6385058784093
ocaml(GFile) == 552f77a1ab67feee0925eeb9d659b5e4
ocaml(GList) == cdcfdf7e292715cb56973151ce06c0b5
ocaml(GMisc) == 6cc57bc66969216d14455a5f23963efb
ocaml(GObj) == 8b75c599da755428984ccd70b4c8da1b
ocaml(GPack) == df9efd42a75fad8938b7fbcfeb10e473
ocaml(GPango) == 2e114dc536c7fd77f563e8afb129a93e
ocaml(GSourceView2) == 7d14f42f21064235ab574b7383c80b37
ocaml(GText) == f47b7889242baff2ea1849749d59d3ae
ocaml(GTree) == 7e53d812030aab36def6d5ffdb205465
ocaml(GUtil) == 7b061673b141e35500641d93f70e98ca
ocaml(GWindow) == b3ee22194b12ae4702edaf1baf79984b
ocaml(Gaux) == 84c3af0a4966ba3ece3b94c27cfb0cd1
ocaml(Gdk) == 9bbc670c4898e1dd7ee044eadfe2fdd1
ocaml(GdkEnums) == 279f04a515f385089af7d57c7f0b0130
ocaml(GdkEvent) == beb4fff51cd40795a2bd97e34e904464
ocaml(GdkPixbuf) == 9d48f5ca384a87e3aee368230b412358
ocaml(Glib) == e2f8bef9e649a416d91658c7e08bc966
ocaml(Gobject) == d61eaa6e372749d91b4a08bcf0bc3a86
ocaml(Gpointer) == 2de3be71319cf14351b1cf437f4b4c5c
ocaml(Gtk) == 8791a929476346715743c35920c1335e
ocaml(GtkBase) == 9b41073f9a7649b7a54758b8068ea2ca
ocaml(GtkBaseProps) == 61a297062fd4e0227c78091ec9699ae8
ocaml(GtkEnums) == c667989900583deae789b961bc537153
ocaml(GtkObject) == 9caccedb303f7d91daa3307154c890d2
ocaml(GtkPack) == 3ac1298499c297560639e233dce45da4
ocaml(GtkPackProps) == 9daf19a8c050aa491a4efe62533a25db
ocaml(GtkSignal) == b70771e5f2e0e8ed97fc6f4eb0bc9d72
ocaml(GtkSourceView2Props) == 675f3607907ca92f5b43df009b9da34c
ocaml(GtkStock) == 3b5d72040d7fc96a1f6879a2a6292751
ocaml(Hashcons) == d5721018de7280764b197a64c8254478
ocaml(Hashset) == 670ac0fe4a55b62489e58d556edfd46b
ocaml(Ideutils) == 316f8e6804710cfd7ba6a842313308fe
ocaml(Loc) == 9de729ac2b810c855eacd7805e978c41
ocaml(OgtkSourceView2Props) == 9ea1742afd1c9485cb4185b7a2ace832
ocaml(Option) == cde4cf28c369c4158b697ea0034a8e66
ocaml(Pango) == 468b4df2b58fc0214a73d53246e1f249
ocaml(PangoEnums) == 8bebc499a25d427b011732926a9d4396
ocaml(Pp) == ca1bf0ac7c1a2f542c1f2f17807640ee
ocaml(Session) == f34f5d6f519605251af2d2b84b3fc321
ocaml(SourceView2Enums) == b1e95dbee1a8e7b425dea802b6e54067
ocaml(Stateid) == 6baf82c0651aa80880184daf3280adf5
ocaml(Stdlib) == aa33af4684579b41817bc194be0a7a26
ocaml(Stdlib__array) == 9558001a029d7270458a252505f6a024
ocaml(Stdlib__bigarray) == 33ee4c2e3aa5fb2f083dd780ce492c0b
ocaml(Stdlib__buffer) == 28161e4effde5ea372547815f87193ec
ocaml(Stdlib__complex) == 067e32179a81c1c8dbdd0a8d52b0c645
ocaml(Stdlib__format) == 06b0893cb3ef937aa19861955f132018
ocaml(Stdlib__hashtbl) == ae8edb4e1fa8a825285031ff0efc80c8
ocaml(Stdlib__int32) == aa83c6f44c2474e5227a6c8f103e87cf
ocaml(Stdlib__lazy) == fc2e64496010f839ea977622a4ebeafc
ocaml(Stdlib__list) == 13989ef6fbcb7235b257d3df9a80253a
ocaml(Stdlib__map) == a82b95a7a6d7947a4127a1eccd24d8b1
ocaml(Stdlib__obj) == 4f27fde74c713270e337272301a906e6
ocaml(Stdlib__seq) == c5f4ef3f36de5f47b7041eed1deb9679
ocaml(Stdlib__set) == 2fa5bbe7cee6e11d5da34daaf89e1dbf
ocaml(Stdlib__stream) == 1571ee6ad62a0ffc202bec6301bacca2
ocaml(Stdlib__string) == f06d662544362cc717ad99f2d75ffa1e
ocaml(Stdlib__uchar) == c51d7a295527e9500ba69b459f81d6b3
ocaml(Unix) == ba30fbe5ee87d3d4d5bd805af35f363b
ocaml(Util) == 02e6373511a577f8397653e0094cd152
ocaml(Wg_Command) == cdc7a564e200bfd7a87da909b3fce61a
ocaml(Wg_Completion) == 8da6e162735a2a3ce7819caa3751d231
ocaml(Wg_Find) == 086a241bbff615a02426b399840b0575
ocaml(Wg_MessageView) == e0da16db441a9e93ce183fea47cab5f3
ocaml(Wg_Notebook) == 532c3e1368c43fbc04a5a2be3de94d99
ocaml(Wg_ProofView) == 86d4f2abf2afd5674d86002ef2036d5f
ocaml(Wg_RoutedMessageViews) == 607c788b0b32fca22652e690728e8110
ocaml(Wg_ScriptView) == b6b1e1056b60d3dc6e84d889d44f097e
ocaml(Wg_Segment) == 4657976bf32b8114bb309c88c60915e5
ocaml(Xml_datatype) == 7d000dafabf73683beb7a9f0a31f2252
ocaml(runtime) == 4.10.0

Provides

Name Value
application() -
application(coq.desktop) -
coq-ide == 8.9.1-2.mga8
coq-ide(x86-64) == 8.9.1-2.mga8
ocaml(Config_lexer) == f7a4de15b7dddd59d3d0a66aa36a8a71
ocaml(Configwin) == 6f9d44e1414299535c3c615a000f5611
ocaml(Configwin_ihm) == 50b51979c42c1af52c6422c1333fab98
ocaml(Configwin_messages) == b0c293c5ec72404fe4c03fdcbbfa4bf0
ocaml(Coq) == a934ee1625e306e815694f1e8904f011
ocaml(CoqOps) == c78439f2c9b115558327d5ae6a8d688d
ocaml(Coq_commands) == 58d910c08774f5375dd322883cb9c96f
ocaml(Coq_lex) == d6edfab97137a3349d264fce8ed5f96e
ocaml(Coqide) == 044e4d2ff193ffd6cd50befb3fd53c0b
ocaml(Coqide_ui) == ddca98fa51d25e4eca77b962097348e7
ocaml(Document) == e9a9c685687d162e7e2b2e932bf2f740
ocaml(FileOps) == c7e68577a96be7709c9edf61c40fbfa3
ocaml(Gtk_parsing) == f6188f81f7ebdc704756d0d144feab46
ocaml(Ideutils) == 316f8e6804710cfd7ba6a842313308fe
ocaml(Minilib) == 229190abae6b3a437569316996ecac5f
ocaml(NanoPG) == 918edcc7715c12db6f632167b3d0d47f
ocaml(Preferences) == aecf89d8ac220dca2d5a17b58093f8cd
ocaml(Sentence) == 113695512a5baf4b6244a33bb1a1f74e
ocaml(Session) == f34f5d6f519605251af2d2b84b3fc321
ocaml(Tags) == 3815899d646d7503f27a2d43009705d9
ocaml(Utf8_convert) == 40e99c1076f4173f17cdc0524657cbef
ocaml(Wg_Command) == cdc7a564e200bfd7a87da909b3fce61a
ocaml(Wg_Completion) == 8da6e162735a2a3ce7819caa3751d231
ocaml(Wg_Detachable) == eb48caac19edcfef55be7a5f44743b60
ocaml(Wg_Find) == 086a241bbff615a02426b399840b0575
ocaml(Wg_MessageView) == e0da16db441a9e93ce183fea47cab5f3
ocaml(Wg_Notebook) == 532c3e1368c43fbc04a5a2be3de94d99
ocaml(Wg_ProofView) == 86d4f2abf2afd5674d86002ef2036d5f
ocaml(Wg_RoutedMessageViews) == 607c788b0b32fca22652e690728e8110
ocaml(Wg_ScriptView) == b6b1e1056b60d3dc6e84d889d44f097e
ocaml(Wg_Segment) == 4657976bf32b8114bb309c88c60915e5

Download

Type URL
Mirror distrib-coffee.ipsl.jussieu.fr
Binary Package coq-ide-8.9.1-2.mga8.x86_64.rpm
Source Package coq-8.9.1-2.mga8.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install coq-ide rpm package:
    # urpmi coq-ide

Files

Path
/etc/xdg/coq
/usr/bin/coqide
/usr/bin/coqidetop
/usr/bin/coqidetop.opt
/usr/lib/.build-id
/usr/lib/.build-id/17/0d6feb7135ef2548ffac59ac7ce4a0545bb15a
/usr/lib/.build-id/17/0d6feb7135ef2548ffac59ac7ce4a0545bb15a.1
/usr/lib/.build-id/29/e0ff82ccd0840cc19d8619f7a62be4c5dcd4c1
/usr/lib64/coq/ide/config_lexer.cmi
/usr/lib64/coq/ide/configwin.cmi
/usr/lib64/coq/ide/configwin_ihm.cmi
/usr/lib64/coq/ide/configwin_messages.cmi
/usr/lib64/coq/ide/coq.cmi
/usr/lib64/coq/ide/coqOps.cmi
/usr/lib64/coq/ide/coq_commands.cmi
/usr/lib64/coq/ide/coq_lex.cmi
/usr/lib64/coq/ide/coqide.cmi
/usr/lib64/coq/ide/coqide_ui.cmi
/usr/lib64/coq/ide/document.cmi
/usr/lib64/coq/ide/fileOps.cmi
/usr/lib64/coq/ide/gtk_parsing.cmi
/usr/lib64/coq/ide/ide.a
/usr/lib64/coq/ide/ide.cmxa
/usr/lib64/coq/ide/ideutils.cmi
/usr/lib64/coq/ide/minilib.cmi
/usr/lib64/coq/ide/nanoPG.cmi
/usr/lib64/coq/ide/preferences.cmi
/usr/lib64/coq/ide/sentence.cmi
/usr/lib64/coq/ide/session.cmi
/usr/lib64/coq/ide/tags.cmi
/usr/lib64/coq/ide/utf8_convert.cmi
/usr/lib64/coq/ide/wg_Command.cmi
/usr/lib64/coq/ide/wg_Completion.cmi
/usr/lib64/coq/ide/wg_Detachable.cmi
/usr/lib64/coq/ide/wg_Find.cmi
/usr/lib64/coq/ide/wg_MessageView.cmi
/usr/lib64/coq/ide/wg_Notebook.cmi
/usr/lib64/coq/ide/wg_ProofView.cmi
/usr/lib64/coq/ide/wg_RoutedMessageViews.cmi
/usr/lib64/coq/ide/wg_ScriptView.cmi
/usr/lib64/coq/ide/wg_Segment.cmi
/usr/share/applications/coq.desktop
/usr/share/doc/coq-ide/FAQ
/usr/share/icons/hicolor/16x16/apps/coq.png
/usr/share/icons/hicolor/256x256/apps/coq.png
/usr/share/icons/hicolor/32x32/apps/coq.png
/usr/share/icons/hicolor/48x48/apps/coq.png

Changelog

2020-01-28 - tv <tv> 8.9.1-2.mga8
+ Revision: 1484376
- filter out a bogus requires on private ocaml interface
- consolidate exclude list
2020-01-26 - tv <tv> 8.9.1-1.mga8
+ Revision: 1483034
- revert back to 8.9.1 & fix build
- new release + rebuild for ocaml-4.10
- new release + rebuild for ocaml-4.10
+ pterjan <pterjan>
- Rebuild for ocaml 4.07.1
2018-10-24 - tv <tv> 8.7.1-1.mga7
+ Revision: 1325023
- new release
- rebuild with ocaml-4.07.1
2018-09-23 - umeabot <umeabot> 8.6.1-3.mga7
+ Revision: 1296798
- Mageia 7 Mass Rebuild

See Also

Package Description
coquillo-2.0.0-4.mga8.x86_64.rpm Audio Metadata Editor
corejava-format-1.22-8.mga8.noarch.rpm A class for formatting numbers that follows printf conventions
corejava-format-javadoc-1.22-7.mga7.noarch.rpm Javadoc for corejava-format
corejava-format-javadoc-1.22-8.mga8.noarch.rpm Javadoc for corejava-format
coreutils-8.31-2.mga8.x86_64.rpm The GNU core utilities: a set of tools commonly used in shell scripts
coreutils-doc-8.31-1.mga7.noarch.rpm Coreutils documentation in info format
coreutils-doc-8.31-2.mga8.noarch.rpm Coreutils documentation in info format
corkscrew-2.0-17.mga8.x86_64.rpm Tool for tunneling SSH through HTTP proxies
coro-mock-1.0-10.e55ca83git.4.mga7.noarch.rpm A mock library for compiling JVM coroutine-using code on JVMs without coroutines
coro-mock-1.0-10.e55ca83git.5.mga8.noarch.rpm A mock library for compiling JVM coroutine-using code on JVMs without coroutines
coro-mock-javadoc-1.0-10.e55ca83git.4.mga7.noarch.rpm Javadoc for coro-mock
coro-mock-javadoc-1.0-10.e55ca83git.5.mga8.noarch.rpm Javadoc for coro-mock
corosync-3.0.3-5.mga8.x86_64.rpm The Corosync Cluster Engine and Application Programming Interfaces
corsixth-0.62-2.mga8.x86_64.rpm Open source clone of Theme Hospital
coturn-4.5.1.1-2.mga8.x86_64.rpm Free open source implementation of TURN and STUN Server
Advertisement
Advertisement