Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

coq-ide-8.13.2-2.mga9 RPM for i586

From Mageia Cauldron for i586 / media / core / release

Name: coq-ide Distribution: Mageia
Version: 8.13.2 Vendor: Mageia.Org
Release: 2.mga9 Build date: Fri Oct 15 16:40:08 2021
Group: Sciences/Computer science Build host: localhost
Size: 51478541 Source RPM: coq-8.13.2-2.mga9.src.rpm
Packager: tv <tv>
Url: https://coq.inria.fr
Summary: The Coq Integrated Development Interface
The Coq Integrated Development Interface is a graphical interface for the
Coq proof assistant.

Provides

Requires

License

LGPLv2

Changelog

* Fri Oct 15 2021 tv <tv> 8.13.2-2.mga9
  + Revision: 1751562
  - Rebuild for ocaml 4.13.1
* Sun Sep 05 2021 wally <wally> 8.13.2-1.mga9
  + Revision: 1744351
  - new version 8.13.2
  - drop ancient tutorial docs
* Fri Mar 26 2021 tv <tv> 8.13.1-3.mga9
  + Revision: 1710447
  - Disable doc (broken)
  - rebuild for ocaml-4.2-12
  + neoclust <neoclust>
  - Rebuild against new ocaml stack
* Mon Jan 11 2021 pterjan <pterjan> 8.11.0-4.mga8
  + Revision: 1671200
  - Exclude more private modules
  - Also exclude ocamlx requires when we exclude ocaml ones
* Sun Jan 10 2021 pterjan <pterjan> 8.11.0-2.mga8
  + Revision: 1670853
  - Rebuild to generate ocamlx provides
  + tv <tv>
  - remove one BR workaround which is now fixed
* Sun Mar 01 2020 tv <tv> 8.11.0-1.mga8
  + Revision: 1552552
  - BR ocaml-cairo-devel (probably a missing dep of other BRs)
  - BR ocaml-lablgtk3-sourceview3
  + pterjan <pterjan>
  - Update to 8.11.0
  + umeabot <umeabot>
  - Rebuild for ocaml 4.10.0 final
* Thu Feb 20 2020 umeabot <umeabot> 8.9.1-3.mga8
  + Revision: 1545296
  - Mageia 8 Mass Rebuild
* Tue Jan 28 2020 tv <tv> 8.9.1-2.mga8
  + Revision: 1484376
  - filter out a bogus requires on private ocaml interface
  - consolidate exclude list
* Sun Jan 26 2020 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

Files

/etc/xdg/coq
/usr/bin/coqide
/usr/bin/coqidetop
/usr/bin/coqidetop.opt
/usr/lib/.build-id
/usr/lib/.build-id/19/c244a574ae27046e5880519ebb39df5150cea5
/usr/lib/.build-id/19/c244a574ae27046e5880519ebb39df5150cea5.1
/usr/lib/.build-id/2f/b493799fd05c65fd5ce8f408e6e4d6b6c98cc8
/usr/lib/ocaml/coq/ide
/usr/lib/ocaml/coq/ide/coqide
/usr/lib/ocaml/coq/ide/coqide/config_lexer.cmi
/usr/lib/ocaml/coq/ide/coqide/configwin.cmi
/usr/lib/ocaml/coq/ide/coqide/configwin_ihm.cmi
/usr/lib/ocaml/coq/ide/coqide/configwin_messages.cmi
/usr/lib/ocaml/coq/ide/coqide/coq.cmi
/usr/lib/ocaml/coq/ide/coqide/coqOps.cmi
/usr/lib/ocaml/coq/ide/coqide/coq_commands.cmi
/usr/lib/ocaml/coq/ide/coqide/coq_lex.cmi
/usr/lib/ocaml/coq/ide/coqide/coqide.cmi
/usr/lib/ocaml/coq/ide/coqide/coqide_ui.cmi
/usr/lib/ocaml/coq/ide/coqide/document.cmi
/usr/lib/ocaml/coq/ide/coqide/fileOps.cmi
/usr/lib/ocaml/coq/ide/coqide/gtk_parsing.cmi
/usr/lib/ocaml/coq/ide/coqide/ide.a
/usr/lib/ocaml/coq/ide/coqide/ide.cmxa
/usr/lib/ocaml/coq/ide/coqide/ideutils.cmi
/usr/lib/ocaml/coq/ide/coqide/microPG.cmi
/usr/lib/ocaml/coq/ide/coqide/minilib.cmi
/usr/lib/ocaml/coq/ide/coqide/preferences.cmi
/usr/lib/ocaml/coq/ide/coqide/sentence.cmi
/usr/lib/ocaml/coq/ide/coqide/session.cmi
/usr/lib/ocaml/coq/ide/coqide/tags.cmi
/usr/lib/ocaml/coq/ide/coqide/unicode_bindings.cmi
/usr/lib/ocaml/coq/ide/coqide/utf8_convert.cmi
/usr/lib/ocaml/coq/ide/coqide/wg_Command.cmi
/usr/lib/ocaml/coq/ide/coqide/wg_Completion.cmi
/usr/lib/ocaml/coq/ide/coqide/wg_Detachable.cmi
/usr/lib/ocaml/coq/ide/coqide/wg_Find.cmi
/usr/lib/ocaml/coq/ide/coqide/wg_MessageView.cmi
/usr/lib/ocaml/coq/ide/coqide/wg_Notebook.cmi
/usr/lib/ocaml/coq/ide/coqide/wg_ProofView.cmi
/usr/lib/ocaml/coq/ide/coqide/wg_RoutedMessageViews.cmi
/usr/lib/ocaml/coq/ide/coqide/wg_ScriptView.cmi
/usr/lib/ocaml/coq/ide/coqide/wg_Segment.cmi
/usr/share/applications/coq.desktop
/usr/share/doc/coq/FAQ-CoqIde
/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


Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Dec 3 01:45:41 2021