Download ftp.icm.edu.pl   coq-ide-8.11.0-4.mga8.x86_64.rpm

Provides :
application()
application(coq.desktop)
coq-ide
coq-ide(x86-64)
ocaml(Config_lexer)
ocaml(Configwin)
ocaml(Configwin_ihm)
ocaml(Configwin_messages)
ocaml(Coq)
ocaml(CoqOps)
ocaml(Coq_commands)
ocaml(Coq_lex)
ocaml(Coqide)
ocaml(Coqide_ui)
ocaml(Document)
ocaml(FileOps)
ocaml(Gtk_parsing)
ocaml(Ideutils)
ocaml(MicroPG)
ocaml(Minilib)
ocaml(Preferences)
ocaml(Sentence)
ocaml(Session)
ocaml(Tags)
ocaml(Unicode_bindings)
ocaml(Utf8_convert)
ocaml(Wg_Command)
ocaml(Wg_Completion)
ocaml(Wg_Detachable)
ocaml(Wg_Find)
ocaml(Wg_MessageView)
ocaml(Wg_Notebook)
ocaml(Wg_ProofView)
ocaml(Wg_RoutedMessageViews)
ocaml(Wg_ScriptView)
ocaml(Wg_Segment)
ocamlx(Config_lexer)
ocamlx(Configwin)
ocamlx(Configwin_ihm)
ocamlx(Configwin_messages)
ocamlx(Coq)
ocamlx(CoqOps)
ocamlx(Coq_commands)
ocamlx(Coq_lex)
ocamlx(Coqide)
ocamlx(Coqide_ui)
ocamlx(Document)
ocamlx(FileOps)
ocamlx(Gtk_parsing)
ocamlx(Ideutils)
ocamlx(MicroPG)
ocamlx(Minilib)
ocamlx(Preferences)
ocamlx(Sentence)
ocamlx(Session)
ocamlx(Tags)
ocamlx(Unicode_bindings)
ocamlx(Utf8_convert)
ocamlx(Wg_Command)
ocamlx(Wg_Completion)
ocamlx(Wg_Detachable)
ocamlx(Wg_Find)
ocamlx(Wg_MessageView)
ocamlx(Wg_Notebook)
ocamlx(Wg_ProofView)
ocamlx(Wg_RoutedMessageViews)
ocamlx(Wg_ScriptView)
ocamlx(Wg_Segment)

Requires :

coq = 8.11.0
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.32)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libc.so.6(GLIBC_2.7)(64bit)
libc.so.6(GLIBC_2.9)(64bit)
libcairo-gobject.so.2()(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-3.so.0()(64bit)
libgdk_pixbuf-2.0.so.0()(64bit)
libgio-2.0.so.0()(64bit)
libglib-2.0.so.0()(64bit)
libgobject-2.0.so.0()(64bit)
libgtk-3.so.0()(64bit)
libgtksourceview-3.0.so.1()(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)
libpthread.so.0()(64bit)
libpthread.so.0(GLIBC_2.2.5)(64bit)
libpthread.so.0(GLIBC_2.3.2)(64bit)
ocaml(Backtrace) = 70acd953c885687595b8fffe0053a9fa
ocaml(CArray) = 8bab5e5bee0f6f413111fbdf51c1b6c5
ocaml(CErrors) = 4f913a233ab17580cb92e05f0eedb246
ocaml(CList) = 850e1a0ba1b2f3ae52f4639fe13fafc2
ocaml(CMap) = f4dbdc4aaa9fe78f6d5ba0296ff64a77
ocaml(CSet) = 3741ffec3e1a6653708e80fa1ba4b68e
ocaml(CSig) = d746c1b2020307bc0240a65975a8844e
ocaml(CStack) = 04b041353c9dfac6311faa84ec839375
ocaml(CString) = 6647fe7277513ad34ff39bb80a9069fc
ocaml(CUnix) = be5cdfdc6e42a9561e62b6fa3aa764b5
ocaml(Cairo) = bd2266e8289b397e4ab45fdc72967f8f
ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf
ocaml(CamlinternalLazy) = 4dbf494440e1d7857c9e9f8079808cd4
ocaml(CamlinternalOO) = dedea9ae821afe9bbc2e9bb926b78def
ocaml(Config_lexer) = 3bb057cf59bff373beedd133e7ef201b
ocaml(Configwin) = f86ad6e4c9a995b9937009ea06f4aa6b
ocaml(Configwin_ihm) = 87a99dc0690dee6371f8534db53333ba
ocaml(Configwin_messages) = b0c293c5ec72404fe4c03fdcbbfa4bf0
ocaml(Coq) = a934ee1625e306e815694f1e8904f011
ocaml(CoqOps) = 31a8117b2eea29a74deed83448cba890
ocaml(CoqProject_file) = 658907879a36927bdfe41e5021bde77f
ocaml(Coq_commands) = 58d910c08774f5375dd322883cb9c96f
ocaml(Coq_config) = ab1cf4431552afefefa3379da00e745a
ocaml(Coq_lex) = d6edfab97137a3349d264fce8ed5f96e
ocaml(Coqide_ui) = ddca98fa51d25e4eca77b962097348e7
ocaml(Document) = b06c1fc267f9543f27b50c3956361d0c
ocaml(Envars) = 2b72cfaffc2f75075a85459ee4de85cb
ocaml(Exninfo) = 9366260ce7708f7b67842546149afbda
ocaml(Feedback) = 5c0feef5653b1b8d5dfb3f4949182bd9
ocaml(FileOps) = 9447899e7daa0bb318406712d7bf68de
ocaml(Flags) = 00243ecd6532c1baba4d5b61d19900c9
ocaml(GAction) = b836cc9ecddbbbf4bc7985171e830dd8
ocaml(GBin) = 01c10a1e5140eb4d7af56bf5f157e9d8
ocaml(GButton) = c516e14eff6fbfeaa4c049195c6b3b81
ocaml(GContainer) = 93635403d0084dee3860a32bc6bdc7a9
ocaml(GData) = b9f1781995e75f8e1e8eb4a6746cd231
ocaml(GDraw) = 1513b65b58b05ced59399c5073a5ac40
ocaml(GEdit) = 493d64b776571be5f38e107e7769513c
ocaml(GFile) = 39f943096400e96e63abab7d8d9d04df
ocaml(GMain) = 9c47b38f70495e68f667cf69c8d38b60
ocaml(GMenu) = f57570597db3974874adfb457f95205f
ocaml(GMisc) = 19cf21ffb00e7064ac07e3bea0f2a2da
ocaml(GObj) = f45d1d48f2f98eb4e4258cd07ddacb8c
ocaml(GPack) = da93591021b53328e44a401fbfb120f1
ocaml(GPango) = 51a7ae54ac38abb7576ff0991ad08568
ocaml(GRange) = a97c3717cf8269e79e695d593ec18c8f
ocaml(GSourceView3) = e69a5c388922cfc4f362865295e7258d
ocaml(GText) = 3ddf6ab9628f65561bc91c1f305dd5f5
ocaml(GToolbox) = 9e3bbc73320abb9166c28ca8f9e639bf
ocaml(GTree) = 754d94231d57acb56ea8295eff9662ee
ocaml(GUtil) = 84f19adcd5d20522421191f1cdb9f31f
ocaml(GWindow) = 733c5b22dea202aa4d6e282dfa197fa5
ocaml(Gaux) = 4b40b024aed9939b71e505ee7f2448b2
ocaml(Gdk) = 70e556ae25ec8db78f1d214b671df405
ocaml(GdkEnums) = fa42f27251f0038d3ec6ee51309d21c5
ocaml(GdkEvent) = 0eb5f89b382e3922739e8c3acfdaac9f
ocaml(GdkKeysyms) = d034566df0b84fd6ca04dd416703db92
ocaml(GdkPixbuf) = 44ee8401e9206cd8b1e6da2f8ca3ab2b
ocaml(Glib) = a444c11a9aa8a4c0fc197fd54d895cdb
ocaml(Gobject) = 9ebc55bfeab6006ebf0ce37e8755dee9
ocaml(Gpointer) = 6ca2fd1269e51897c44f9157fa4ec9eb
ocaml(Gtk) = fb7013439a3199a808b4d719f9d9b352
ocaml(GtkBase) = 455fd1a72ca0326c650b15afba36d0dd
ocaml(GtkBaseProps) = d4438286e5a446222b32cca67997739b
ocaml(GtkButton) = e109e6e727704282ad81d2c0a868b860
ocaml(GtkButtonProps) = efe643558d8d8b94302e8e6114ebeac7
ocaml(GtkData) = 5a333b9b1dbc60110f0b156e9286acf8
ocaml(GtkEnums) = dfa95bf64669d3d65db7a7ca9be91ff6
ocaml(GtkMain) = b32863799df2a60c1496490019f3f3ac
ocaml(GtkObject) = 86c93a8f51a0690801bb3f0c9d34eabc
ocaml(GtkPack) = 11502d8c838470fe6dab3b6d8a740147
ocaml(GtkPackProps) = b63b98e2025c524c9b957397f00269dc
ocaml(GtkSignal) = 1cef11eec5ed6a8700a63a647cca33f9
ocaml(GtkSourceView3) = f8da9f6c1e232c5ca2a18311edec11d9
ocaml(GtkSourceView3Props) = 93b7a900704ccb09b4be3ec17d5bc696
ocaml(GtkSourceView3_types) = 1f6b4a7e035f691441e4eb0eb7e674f0
ocaml(GtkStock) = 11fa0430b1313a382430297f67015006
ocaml(GtkText) = 83280f47e6fc8cca43cb7bede9c5e9df
ocaml(GtkTextProps) = 400e0b6ec0be088a4cb78f498552b050
ocaml(GtkWindow) = e1b709f9abb332beb9e19414e67282bb
ocaml(Gtk_parsing) = b8413c3e4d688a0ddcb5a5ce1a8a7cd7
ocaml(Hashcons) = 7c18c0b423a824504c1c9bbfc669a06c
ocaml(Hashset) = f12b1742931aeb31a8e3cb312c5adcbd
ocaml(Ideutils) = e37cc6b30c28ac54f4332681b9755ba8
ocaml(Int) = 6b740fa3fd902e9f3bc73d7590fb250e
ocaml(Loc) = 30f58a7ca9d7eb4142844a9cb3b62e7b
ocaml(MicroPG) = d76e37dcc4c1745a502725a3774b2b99
ocaml(Minilib) = ff336ee7834e7cef2dbd137696659e74
ocaml(OgtkSourceView3Props) = f00b840bea5a558a0f12e16c8bb880b0
ocaml(Option) = 8817687a7f538974102898e8aa23988e
ocaml(Pango) = bf6ee437eafe18155488fbf56f82bd4a
ocaml(PangoEnums) = ddad6997b0ece7f01192ac57bafd2444
ocaml(Pp) = b9271aba817414fa8242144c509af5c5
ocaml(Preferences) = e225202e88896c5a88607e5b31353c9d
ocaml(Sentence) = 113695512a5baf4b6244a33bb1a1f74e
ocaml(Session) = 82fa690c1637ae6c192baf4b9ba0e53d
ocaml(SourceView3Enums) = f644f1f0a92dfc63f4384714071f1f54
ocaml(Spawn) = d406c486c4c29a37c3d32b93bce85b4e
ocaml(Stateid) = 5f2073d0a3f3b87fc28c4fd6ab9b08ac
ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3
ocaml(Stdlib__array) = 9558001a029d7270458a252505f6a024
ocaml(Stdlib__arrayLabels) = 1d1f7bb853f3aa14d43377b871f03986
ocaml(Stdlib__bigarray) = 33ee4c2e3aa5fb2f083dd780ce492c0b
ocaml(Stdlib__buffer) = 28161e4effde5ea372547815f87193ec
ocaml(Stdlib__bytes) = 772b4012f2db40e66e9c581c84cada7e
ocaml(Stdlib__callback) = 05f106bfa8c02f2eefb8a3e3c18411af
ocaml(Stdlib__char) = 2f2acf8bdbc1a264012f13ea21fa0c4b
ocaml(Stdlib__complex) = 067e32179a81c1c8dbdd0a8d52b0c645
ocaml(Stdlib__digest) = 60c60a8f614ee08eec5a2f5a733a870e
ocaml(Stdlib__filename) = e70d852a325736bc7266750bcc2e69f2
ocaml(Stdlib__format) = 06b0893cb3ef937aa19861955f132018
ocaml(Stdlib__gc) = 7fd146e11f52aa63b80f74c58258be74
ocaml(Stdlib__hashtbl) = ae8edb4e1fa8a825285031ff0efc80c8
ocaml(Stdlib__int32) = aa83c6f44c2474e5227a6c8f103e87cf
ocaml(Stdlib__lazy) = fc2e64496010f839ea977622a4ebeafc
ocaml(Stdlib__lexing) = af4fe7604d37ed7010a342d5a704e3c5
ocaml(Stdlib__list) = 13989ef6fbcb7235b257d3df9a80253a
ocaml(Stdlib__listLabels) = 683be3036e610dcdee760b7c448f32ed
ocaml(Stdlib__map) = a82b95a7a6d7947a4127a1eccd24d8b1
ocaml(Stdlib__obj) = 4f27fde74c713270e337272301a906e6
ocaml(Stdlib__printexc) = ed69988976f47e63364ac57d164dda5f
ocaml(Stdlib__printf) = 908ae2bf186b4ad7c88e5443c57d73af
ocaml(Stdlib__queue) = 03c7b1e419bb4f4383376912cbd6bf5a
ocaml(Stdlib__scanf) = e84e0fc8d2ad94705113ca03bfc9de5a
ocaml(Stdlib__seq) = c5f4ef3f36de5f47b7041eed1deb9679
ocaml(Stdlib__set) = 2fa5bbe7cee6e11d5da34daaf89e1dbf
ocaml(Stdlib__stdLabels) = ab1c96678ff9a88d0720eeb9f1e433af
ocaml(Stdlib__stream) = 1571ee6ad62a0ffc202bec6301bacca2
ocaml(Stdlib__string) = f06d662544362cc717ad99f2d75ffa1e
ocaml(Stdlib__sys) = bb80c4c4a8134d83861bb3ff49d07ce4
ocaml(Stdlib__uchar) = c51d7a295527e9500ba69b459f81d6b3
ocaml(Str) = c5bcee777d07f9d2f20c78da78387372
ocaml(System) = c4b0c2d98a6a3c223a1eb6e6ea529a7a
ocaml(Tags) = 9570fabe60e5d9caf1c84beb134f059d
ocaml(Unicode) = 21c72a94068780d6278cf404a93e2a4c
ocaml(Unicode_bindings) = b3a8bc31f2d94bcd27b3d753760aa6af
ocaml(Unix) = ba30fbe5ee87d3d4d5bd805af35f363b
ocaml(Utf8_convert) = 40e99c1076f4173f17cdc0524657cbef
ocaml(Util) = c6f421b3ab4e0e13d19ea034011ac044
ocaml(Wg_Command) = 713669ac872387e52859231863de44c6
ocaml(Wg_Completion) = 813d9e21c1a6f85a88a063531a216382
ocaml(Wg_Detachable) = 78d405bc7222dc20bfeab4ff8465da2c
ocaml(Wg_Find) = 5573f659d17ba47cd9ce2d62780aeccb
ocaml(Wg_MessageView) = 9f3eb4ebc06ea1a33a80d650a1fe22f9
ocaml(Wg_Notebook) = 0b55c1787df5d5808f8fadfc5e4547f0
ocaml(Wg_ProofView) = 09d03230e1a7bf1980a68edbbbc6056a
ocaml(Wg_RoutedMessageViews) = 607c788b0b32fca22652e690728e8110
ocaml(Wg_ScriptView) = 64dd4708d132945dcab4fea4ce4621fc
ocaml(Wg_Segment) = 997bf688d10abf865573ba7e7d2a0f6d
ocaml(Xml_datatype) = 7d000dafabf73683beb7a9f0a31f2252
ocamlx(Backtrace) = 86811db9e409fb1c8aab8de83593ad55
ocamlx(CErrors) = f62fa4a92cb37435583fa85ab8ecb7ec
ocamlx(CList) = dd2eea8c7119ce20a8265abe2e588137
ocamlx(CString) = 52e2ca6a3bc19bcf381ee54c3f83b9ee
ocamlx(CUnix) = fb01b2376f474a73e1fc4a6d0836ad79
ocamlx(CamlinternalLazy) = dddd3ac46ea6780f2847c7da43f41f5b
ocamlx(CamlinternalOO) = dacfd1f469564fd5ec616ae1bf81f6c9
ocamlx(Config_lexer) = ac939c28badc68919400ddc7603d1685
ocamlx(Configwin) = 8c1d37197a292f862f8be9e41c18a91f
ocamlx(Configwin_ihm) = 12912aa7b396b55e177a340e1372b35c
ocamlx(Configwin_messages) = 64171d5b46d8555ca886a2a8aca537af
ocamlx(Coq) = 48f946165882c068a3254f562f58e81c
ocamlx(CoqOps) = 2e42f90962bf85b78e6d5f30f0e534d8
ocamlx(CoqProject_file) = 3c88660df091c82f5c57e6f2ff2ac71e
ocamlx(Coq_commands) = 7d522122fb53187ce3da458c3080d832
ocamlx(Coq_config) = e65d31af5373bb3fdd395fea6968b3cc
ocamlx(Coq_lex) = 7c1e5ec0139079ed89cc8086b4af8219
ocamlx(Coqide_ui) = 261065fcb2acd55d0e4f084e4dcbaf87
ocamlx(Document) = 996fa72cae41587ed5653ca04d587fac
ocamlx(Envars) = 371c02606887bec7569d83fb755f46b8
ocamlx(Feedback) = 8a601e71644ad37b89969678e95f2a04
ocamlx(FileOps) = 50cefdfc54301b22d395a47ba2c79e1c
ocamlx(Flags) = 197ced2b7ca6afa2dbfbd33a6b6a09c6
ocamlx(GAction) = c6b1aa2f64e1e9a0e30cc29f63f4f03f
ocamlx(GBin) = c65061afd932b6d159ad18db3c2a0733
ocamlx(GButton) = 1a493767216ec45629d710b675671bad
ocamlx(GContainer) = bc1db21add30d7c31467dd4960e18c0a
ocamlx(GData) = 37bdfa6d5701dd4701fb7c998e21ae75
ocamlx(GDraw) = 94a05f8d7677ab897e6035e72e5b7da3
ocamlx(GEdit) = 20dd3d185480523ad8a06f49b6ec2d4d
ocamlx(GFile) = 71252bf60b80fc490f3f7e10ceabd132
ocamlx(GMain) = e07178e51ec0e767e764279727e465f8
ocamlx(GMenu) = e206f5683a1821956266749d1b2323dd
ocamlx(GMisc) = 56cf2c2ffdc98eafa96723fed631c003
ocamlx(GObj) = 897d0e425870de64b07e28d708011f87
ocamlx(GPack) = 21ff0aa6a19f67a319d82b8010a711b1
ocamlx(GPango) = 4d92632a7d3226c613c4d0ec60cbfa79
ocamlx(GRange) = 8338f1add05af541f629782dd72444d3
ocamlx(GSourceView3) = 9550fbf29e5ab710eb67719970370f79
ocamlx(GText) = 4e3a771f3c892473f873c2256f71a030
ocamlx(GToolbox) = 9baf28654c9003ceda15ac2da5466c12
ocamlx(GTree) = 2854430f2331209356b26a2c545ad6f3
ocamlx(GUtil) = 8b318e302b0b9eafd162670600e6972e
ocamlx(GWindow) = eb3e39ec3e5aa017606d027fc5f6254b
ocamlx(Gaux) = 7ef91eb1e468de620788fe12e1ce2cd5
ocamlx(Gdk) = 395260b35b2587930e3b7282e587e964
ocamlx(GdkEvent) = 9b33e42ab1c5dd488539f61af1441f76
ocamlx(GdkKeysyms) = f21978eafd6f2fc5f164325178448ec2
ocamlx(GdkPixbuf) = 86d382fbfaf9694b1311f2d64c6b9bb1
ocamlx(Glib) = 49eb24661aa0b51a53862723a79b6b7c
ocamlx(Gobject) = 81ab25c26804d1049473d66245436b34
ocamlx(GtkBase) = 84231a5cb1395d687a8467b51fd8fd29
ocamlx(GtkButton) = cb6e6f315e10e3d6672527444f10c991
ocamlx(GtkData) = 3db8c86583b56281b23d1ffdf8dcdc68
ocamlx(GtkMain) = 0eaf694a3f611d5e9a514475ce32240f
ocamlx(GtkPack) = 6f4db5feb711a0f23038e37dec039e0b
ocamlx(GtkPackProps) = e1d101ffc928b02beff760428f3a5e7e
ocamlx(GtkSignal) = facc5cb67cf52f6a41c9e84ed17de7f6
ocamlx(GtkSourceView3) = fdf9017654815a94976919dc72ddb66d
ocamlx(GtkStock) = e4679f7fd09e51d74859b4ac5d3783a3
ocamlx(GtkText) = 7b63376cafca102a7ccf8f205291eef5
ocamlx(GtkTextProps) = 80c343d26f97c3b31e84727cf60aaaac
ocamlx(GtkWindow) = 7dd0e74bec8cb61768e5b89c0c1588ed
ocamlx(Gtk_parsing) = 92437cfc3507e4fb7bd227fd8d4c6ef3
ocamlx(Ideutils) = 43637fad96b4c7685dc02f8b380851df
ocamlx(Loc) = 9787a27fa60027ba363cba35c89b0f86
ocamlx(MicroPG) = e1b22c31c04eea46d5dda29e9209ca2f
ocamlx(Minilib) = 4a4dc55102ea91dbed7373785743784a
ocamlx(Option) = 039b5bf358ddfd6b1180882632977fce
ocamlx(Pango) = 5cca83b44532be44362789002d73c004
ocamlx(Pp) = 43bb4c785654574160d105ffb979c43c
ocamlx(Preferences) = bdbdef0a0d7778f27df5835c6b949bca
ocamlx(Sentence) = e4e50fc2fd08b3f9d93addfc2d05755e
ocamlx(Session) = fbfb32ed1963d64d944223fabc8d1fe3
ocamlx(Spawn) = 2319eb7a838c61d8b2b56f2bf3f15aec
ocamlx(Stateid) = a77e6ac51bcacf5b161643ad5021cd75
ocamlx(Stdlib) = 6b88613cf2b6620d6f11cd8a342880fc
ocamlx(Stdlib__array) = d8cbd5c6bb9dc377a421cad028946a12
ocamlx(Stdlib__buffer) = 5a4eb38b27225067d0fbce3397ab57fa
ocamlx(Stdlib__bytes) = 6f160e4554ac4fc65dcb567dac770c1b
ocamlx(Stdlib__filename) = 4acdb6cb1dcdea0eb5f64c37cb1fa406
ocamlx(Stdlib__format) = 640a01647329f0a32f48a8a90a89014f
ocamlx(Stdlib__hashtbl) = 1f15ad224dfe918b6a17c157f0f5836e
ocamlx(Stdlib__lexing) = e7ce663ca25a827e8cc02172a8f8f6fb
ocamlx(Stdlib__list) = e3a5f633b69d62d35929d9e3f6c26a20
ocamlx(Stdlib__printexc) = 678fbefb5bcbeaeb7afb5ae5ca515b17
ocamlx(Stdlib__printf) = 19b790b69e71cc8a18d06eb2330f9df4
ocamlx(Stdlib__queue) = 81c3e47f06925d2c8ab234b197abc367
ocamlx(Stdlib__scanf) = 70e0ba7c9ddc1a8ecb11ae0eee0f2313
ocamlx(Stdlib__set) = 82f5cc8aac133142447f442798e3e68e
ocamlx(Stdlib__string) = c268f14a681ed6708f8a9cb396a73317
ocamlx(Stdlib__sys) = cc30c95de291d0ad184f95f6134db5d2
ocamlx(Str) = b2619808edfd808b4097e5ec36277e82
ocamlx(System) = dfcbb28cdb2522b1ed9b782bb1960d1f
ocamlx(Tags) = ebf311e5d787645a1b7adfed3b3a5139
ocamlx(Unicode) = b61b3fcad564f9a65c457b19d9ad6023
ocamlx(Unicode_bindings) = b9065454a22c22be5021eda7ab90dfb4
ocamlx(Unix) = ba030e73c9a8a296035219290541184c
ocamlx(Utf8_convert) = e24ef0ef6c682e48fa84e2c39f567fa7
ocamlx(Util) = 0eb4ba97d0ea9d6a59c8e7644f672ac0
ocamlx(Wg_Command) = 8df9ca053c0aaa59836a0f3647b3298d
ocamlx(Wg_Completion) = 49a4524a44508e4afeefcdcadc138094
ocamlx(Wg_Detachable) = 0d8e34614f7a6048c8b7d719e2cb7260
ocamlx(Wg_Find) = 037687510933290a06f2a613fbbb0f71
ocamlx(Wg_MessageView) = 9358fee5dd2b0c8f701b8b00a9b25dc8
ocamlx(Wg_Notebook) = 8ac50ccee4e40a9a552a98d5d6426221
ocamlx(Wg_ProofView) = 0de42a42db4f452c73c636c5716477e7
ocamlx(Wg_RoutedMessageViews) = 90a37f70727fe69c3333be8ee388986a
ocamlx(Wg_ScriptView) = 3ce0bb01e83c55140b0ea55a89cd627e
ocamlx(Wg_Segment) = a07c4f018e0be806f826f8c8b3a7a17d
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1

Content of RPM :
/etc/xdg/coq
/usr/bin/coqide
/usr/bin/coqidetop
/usr/bin/coqidetop.opt
/usr/lib/.build-id
/usr/lib/.build-id/64/c6deab8bf3324274bc191517bce86dae15a863
/usr/lib/.build-id/87/a4ba205eec774c40852edf2921528ce1f96363
/usr/lib/.build-id/87/a4ba205eec774c40852edf2921528ce1f96363.1
/usr/lib64/coq/ide
/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/microPG.cmi
/usr/lib64/coq/ide/minilib.cmi
/usr/lib64/coq/ide/preferences.cmi
/usr/lib64/coq/ide/sentence.cmi
/usr/lib64/coq/ide/session.cmi
There is 20 files more in these RPM.