why3-1.5.1-3.fc37 in Fedora 37

↵ Return to the main page of why3
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date	Author	Change
2022-11-26	Jerry James <loganjerry at gmail dot com> - 1.5.1-3	- Rebuild for coq 8.16.1
2022-11-01	Jerry James <loganjerry at gmail dot com> - 1.5.1-2	- Rebuild for ocaml-ppxlib 0.28.0
2022-09-16	Jerry James <loganjerry at gmail dot com> - 1.5.1-1	- Version 1.5.1
2022-08-18	Jerry James <loganjerry at gmail dot com> - 1.5.0-3	- Rebuild to fix coq dependency - Convert License tag to SPDX
2022-07-23	Fedora Release Engineering <releng at fedoraproject dot org> - 1.5.0-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-07-19	Jerry James <loganjerry at gmail dot com> - 1.5.0-1	- Remove i686 support
2022-07-07	Jerry James <loganjerry at gmail dot com> - 1.5.0-1	- Version 1.5.0 - Add ocaml-mlmpfr support - Drop unmaintained man pages - Use new OCaml macros
2022-06-19	Richard W.M. Jones <rjones at redhat dot com> - 1.4.1-3	- OCaml 4.14.0 rebuild
2022-03-25	Jerry James <loganjerry at gmail dot com> - 1.4.1-2	- Rebuild for coq 8.15.1
2022-02-28	Jerry James <loganjerry at gmail dot com> - 1.4.1-1	- Version 1.4.1

Dependencies

coq = 49342884abaa82c6937e426ec2bd2f58
coq-core = 00edc3e526b6239e9ad4c9319eaaabd5
flocq = e0214f692ecd93d4c63ec81c9a68b962
glib2
glibc
gtk3
pango
texlive-base
vim-filesystem

Provides

application()
application(fr.lri.why3.desktop)
bundled(js-jquery)
metainfo()
metainfo(fr.lri.why3.metainfo.xml)
ocaml(NWhy3_BuiltIn)
ocaml(NWhy3_HighOrd)
ocaml(NWhy3_bool_Bool)
ocaml(NWhy3_bv_BV_Gen)
ocaml(NWhy3_bv_Pow2int)
ocaml(NWhy3_floating_point_Double)
ocaml(NWhy3_floating_point_DoubleFormat)
ocaml(NWhy3_floating_point_GenFloat)
ocaml(NWhy3_floating_point_Rounding)
ocaml(NWhy3_floating_point_Single)
ocaml(NWhy3_floating_point_SingleFormat)
ocaml(NWhy3_for_drivers_ComputerOfEuclideanDivision)
ocaml(NWhy3_ieee_float_Float32)
ocaml(NWhy3_ieee_float_Float64)
ocaml(NWhy3_ieee_float_GenericFloat)
ocaml(NWhy3_ieee_float_RoundingMode)
ocaml(NWhy3_int_Abs)
ocaml(NWhy3_int_ComputerDivision)
ocaml(NWhy3_int_Div2)
ocaml(NWhy3_int_EuclideanDivision)
ocaml(NWhy3_int_Exponentiation)
ocaml(NWhy3_int_Int)
ocaml(NWhy3_int_MinMax)
ocaml(NWhy3_int_NumOf)
ocaml(NWhy3_int_Power)
ocaml(NWhy3_list_Append)
ocaml(NWhy3_list_Combine)
ocaml(NWhy3_list_Distinct)
ocaml(NWhy3_list_HdTl)
ocaml(NWhy3_list_HdTlNoOpt)
ocaml(NWhy3_list_Length)
ocaml(NWhy3_list_List)
ocaml(NWhy3_list_Mem)
ocaml(NWhy3_list_Nth)
ocaml(NWhy3_list_NthHdTl)
ocaml(NWhy3_list_NthLength)
ocaml(NWhy3_list_NthLengthAppend)
ocaml(NWhy3_list_NthNoOpt)
ocaml(NWhy3_list_NumOcc)
ocaml(NWhy3_list_Permut)
ocaml(NWhy3_list_RevAppend)
ocaml(NWhy3_list_Reverse)
ocaml(NWhy3_map_Const)
ocaml(NWhy3_map_Map)
ocaml(NWhy3_map_MapInjection)
ocaml(NWhy3_map_MapPermut)
ocaml(NWhy3_map_Occ)
ocaml(NWhy3_number_Coprime)
ocaml(NWhy3_number_Divisibility)
ocaml(NWhy3_number_Gcd)
ocaml(NWhy3_number_Parity)
ocaml(NWhy3_number_Prime)
ocaml(NWhy3_option_Option)
ocaml(NWhy3_real_Abs)
ocaml(NWhy3_real_ExpLog)
ocaml(NWhy3_real_FromInt)
ocaml(NWhy3_real_MinMax)
ocaml(NWhy3_real_PowerInt)
ocaml(NWhy3_real_PowerReal)
ocaml(NWhy3_real_Real)
ocaml(NWhy3_real_RealInfix)
ocaml(NWhy3_real_Square)
ocaml(NWhy3_real_Trigonometry)
ocaml(NWhy3_real_Truncate)
ocaml(NWhy3_set_Cardinal)
ocaml(NWhy3_set_Fset)
ocaml(NWhy3_set_FsetInduction)
ocaml(NWhy3_set_FsetInt)
ocaml(NWhy3_set_FsetSum)
ocaml(NWhy3_set_Set)
ocaml(NWhy3_set_SetApp)
ocaml(NWhy3_set_SetAppInt)
ocaml(NWhy3_set_SetImp)
ocaml(NWhy3_set_SetImpInt)
ocamlx(NWhy3_BuiltIn)
ocamlx(NWhy3_HighOrd)
ocamlx(NWhy3_bool_Bool)
ocamlx(NWhy3_bv_BV_Gen)
ocamlx(NWhy3_bv_Pow2int)
ocamlx(NWhy3_floating_point_Double)
ocamlx(NWhy3_floating_point_DoubleFormat)
ocamlx(NWhy3_floating_point_GenFloat)
ocamlx(NWhy3_floating_point_Rounding)
ocamlx(NWhy3_floating_point_Single)
ocamlx(NWhy3_floating_point_SingleFormat)
ocamlx(NWhy3_for_drivers_ComputerOfEuclideanDivision)
ocamlx(NWhy3_ieee_float_Float32)
ocamlx(NWhy3_ieee_float_Float64)
ocamlx(NWhy3_ieee_float_GenericFloat)
ocamlx(NWhy3_ieee_float_RoundingMode)
ocamlx(NWhy3_int_Abs)
ocamlx(NWhy3_int_ComputerDivision)
ocamlx(NWhy3_int_Div2)
ocamlx(NWhy3_int_EuclideanDivision)
ocamlx(NWhy3_int_Exponentiation)
ocamlx(NWhy3_int_Int)
ocamlx(NWhy3_int_MinMax)
ocamlx(NWhy3_int_NumOf)
ocamlx(NWhy3_int_Power)
ocamlx(NWhy3_list_Append)
ocamlx(NWhy3_list_Combine)
ocamlx(NWhy3_list_Distinct)
ocamlx(NWhy3_list_HdTl)
ocamlx(NWhy3_list_HdTlNoOpt)
ocamlx(NWhy3_list_Length)
ocamlx(NWhy3_list_List)
ocamlx(NWhy3_list_Mem)
ocamlx(NWhy3_list_Nth)
ocamlx(NWhy3_list_NthHdTl)
ocamlx(NWhy3_list_NthLength)
ocamlx(NWhy3_list_NthLengthAppend)
ocamlx(NWhy3_list_NthNoOpt)
ocamlx(NWhy3_list_NumOcc)
ocamlx(NWhy3_list_Permut)
ocamlx(NWhy3_list_RevAppend)
ocamlx(NWhy3_list_Reverse)
ocamlx(NWhy3_map_Const)
ocamlx(NWhy3_map_Map)
ocamlx(NWhy3_map_MapInjection)
ocamlx(NWhy3_map_MapPermut)
ocamlx(NWhy3_map_Occ)
ocamlx(NWhy3_number_Coprime)
ocamlx(NWhy3_number_Divisibility)
ocamlx(NWhy3_number_Gcd)
ocamlx(NWhy3_number_Parity)
ocamlx(NWhy3_number_Prime)
ocamlx(NWhy3_option_Option)
ocamlx(NWhy3_real_Abs)
ocamlx(NWhy3_real_ExpLog)
ocamlx(NWhy3_real_FromInt)
ocamlx(NWhy3_real_MinMax)
ocamlx(NWhy3_real_PowerInt)
ocamlx(NWhy3_real_PowerReal)
ocamlx(NWhy3_real_Real)
ocamlx(NWhy3_real_RealInfix)
ocamlx(NWhy3_real_Square)
ocamlx(NWhy3_real_Trigonometry)
ocamlx(NWhy3_real_Truncate)
ocamlx(NWhy3_set_Cardinal)
ocamlx(NWhy3_set_Fset)
ocamlx(NWhy3_set_FsetInduction)
ocamlx(NWhy3_set_FsetInt)
ocamlx(NWhy3_set_FsetSum)
ocamlx(NWhy3_set_Set)
ocamlx(NWhy3_set_SetApp)
ocamlx(NWhy3_set_SetAppInt)
ocamlx(NWhy3_set_SetImp)
ocamlx(NWhy3_set_SetImpInt)
why
why-jessie
why-pvs-support
why3
why3(x86-64)

Files

usr/
- bin/
  - isabelle_client
  - why3
- lib/
  - .build-id/
    - 00/
      - 2995cc02c47044518eba42255ebc82bc6084e1
    - 07/
      - 0b2e70f414cd8caeab889a14603bdc27b16ed3
    - 09/
      - b8d0cb42097fcec98bf3dc346d2c568f432bd4
    - 0a/
      - d4b9e410849b70a5480058d3506a12298f86ea
    - 0b/
      - a85152e01657d532463eadf91ee12dc52ccb7a
    - 0c/
      - 33c813e447d572819d369d35ff0b2d4a943f01
    - 0e/
      - 8e953c28ff60c1e4813c52a32268074ce104e3
    - 10/
      - 6c7bc2eaddb726c4134c802ae35613a3597bfb
    - 15/
      - f37e7dfdc9283b78a0c05a1c6a984cbff37f65
    - 17/
      - fbff0d53c22345986f28949714c240c45ebe12
    - 1a/
      - 060023dd44b564f9deee87eac16f61d62620d6
    - 21/
      - dffca4cf746d339ef64eecfd12687425757ec8
    - 29/
      - 834c1c391c64b990562b11bfb6c566847e0003
    - 2a/
      - f06b7e7a884c813cf73e2d13197b01fa259f50
    - 2b/
      - d36af434472e4b06e507eaeac08a8ebc4a9b82
    - 2f/
      - fa8624b86d18b56505036458c28885f11066ce
    - 31/
      - b563eee41a0db57225d7237a99ba2538f055ce
    - 38/
      - 9240c13c9e9b8cebf44aa2f5c9ed38d7ff5153
    - 3a/
      - 06541c2a0b4afa0d3c303454326a70c60391e0
      - 52650a6a5b9b2be5a6c7c31d12023f7d655a2f
    - 3b/
      - 50e3a13bd9775cc8ed5cd706ac36947daff52c
    - 3c/
      - b9bacf59a23782e7c0517705af94b17e6030de
    - 40/
      - 135c5efd89ea373204438aa43d61f20ea64285
    - 47/
      - 4dbf1ad7d62ed2264074c531cc99c12cb1474b
    - 49/
      - 9b53525e838139a53f3daf3bff3616750a2191
    - 4a/
      - d16499c51a3bbfd0c477b9f0be867325d359d2
    - 50/
      - 6cf64edf13fb5dbc9973fef6228bf4508e3f6d
      - 6f186649f2e852d97ce3a2e3f0e5a76062958c
      - 9dc2fb80979ee61a62f83cb50f58b41afe22ec
      - cdf82038c9268bfa2a57e191f9a14c26097f8c
    - 54/
      - f4ffe5cf625c74fadd4eaae17a93a474be5714
    - 57/
      - 84b35b519b94adfa7996c6b04d9c57a419b19f
    - 59/
      - 72e028f693a0e4ad9f9453fc814ac639ce5765
    - 5c/
      - a31e1c798a7b894fa7a83f99f6cbe3946a6990
    - 60/
      - cc41e4691b922d96eac1c50db2cf18d864558a
    - 62/
      - 6f9f6304ce9fab1ab7570c6941ce015d81fcf1
      - a701eb50c66272ca36ea83b80dc595a7354f91
    - 6b/
      - f47e22d2144a16010b0a4d24743375b90855f5
    - 6c/
      - feb1525805bf66ad44429ebd00ab95ae9dd7af
    - 6e/
      - 1ae8dc1e81db6516a79e952d5e015d2a8c8771
    - 6f/
      - b984d3695741760e9e8f91b97aa2054bda37e3
    - 70/
      - 9b4a90903b7270c32c64da22181590242a844e
    - 71/
      - 78fb80a4f0f7396f140fcfa811415e354fe201
    - 73/
      - 3c6152ccc65aab7188f4fca249cf1a8473f850
    - 7a/
      - b86f3b4e62d8cfe4df1cdb2b22467092ca8b5b
    - 7c/
      - 4df79a9056a1744c8f729edfb55e06d88a3168
    - 7d/
      - 86eebca05db5ba49099960ed2e098f646e9734
    - 80/
      - 273e1125a46a6dc8b9cd7ac44ee31114b7cfdd
    - 83/
      - 7f895c14df5ecbeed18d772a59e04a150673d6
    - 87/
      - cdb23b4fcc0b20921461c7fb7bb2c7f0e5c81d
    - 89/
      - b7e3e92c16117b0a0195dfa1e72c681c8a175b
    - 8c/
      - 31a007593ca4acfb1c5912f30b6135ffe6bb22
    - 8f/
      - 14e504cd16d1f50c6f83c99b7f0240b49f9c97
      - 5a3e19cf235fa2fe8cbf9df50ca49cb07e320e
    - 90/
      - cc53b2cd37adb7e90e98f07d218793511622f3
    - 97/
      - 7a6b298ef556fd55aa0212ca4610a3a3ded1ed
    - 9e/
      - 4d93b5874220b4e9349e996279ce08b0f6b4cc
      - cda18a7e6fff57fbc3571945b7474618966e23
    - 9f/
      - 73ef97ff6e2f65d4dea1b9d72066c1f446c0a0
      - e6d2634dfbd4218ba4a85c6228e21cf476c222
    - a2/
      - 1664d3df136538837466688f3fae5ed42abe80
    - a5/
      - 87a7a310b067009bcd13a32f90cf89eda7f7e0
    - a8/
      - 9a5ea80bcb1dc1c23f8e2de6d78ba75ec714e6
    - aa/
      - e8886afac60a855a323cc285736ef5ab135336
    - ae/
      - 80ca7e30d7ce1323e977c9bc02658db54c1fc5
    - b0/
      - 85dfa7d3b5b200ab12e0836f1ef93c8e4c7555
    - b1/
      - 18e5ade30d8dce422e260799452abfc8dad282
      - 8347119c31ac66a9a715bdc6d5a58344e77e81
      - e518d01660e7e1d8124f86444d4d11b67d6930
    - b4/
      - 5c17cca842e641b2ba1a75c1e47d76714d71bf
    - b5/
      - 36156b1127627f5edb74c278c552a7debf3ae4
    - b7/
      - c61f1d0c2d4a8d7eb1fbb33f18a1faea531fd4
    - b8/
      - 3a761767b25ef450af64f797e0ad75bf99a60a
      - 9cfe6891ce10d7e76bddc307d37acb223c3b23
      - f8d6eba671e3dac3e4e7cacc9f542dbc3f9840
    - b9/
      - 17a4b26fdcc1439e844261c3a5e7f2a22308c8
    - c3/
      - 5a3f1f8de758b1181cede2b9a89fd721b11ac3
    - c4/
      - ea5836eb7aa3d84f1b8dd90851755e8c557920
    - c7/
      - 50e85c6d5a6d14b1722dc81de3f4e5daac498f
    - c8/
      - 39657bd78d3ffeecd37ae9284700908ce7acf5
    - cc/
      - 537f8b17c302c6421c023fdf30a4438e9bd556
    - d1/
      - 2242ed7fa10a65974b7a0687f843f96465f4b4
      - 7c3c8a33e9ebfc9ac8fd69efb72bdc25a0cc68
    - d3/
      - d17dddfee84ce2f9a9fac11fa100452cfaa6e5
    - d4/
      - 4d03e9fcfd8045438fef2d9f4e4021373ac787
    - d5/
      - c05379e1092bc2da75bc133a7d7547ed8c07ca
    - d9/
      - ec26bdc50d2f0e7b069317344b86d2ecfe8d31
    - da/
      - 8e8a83c5d96db084ea5a546988d72e97b8b9c4
    - e1/
      - c8366b625412db3ce74b0d958c1071bd251ba6
      - ee8929e84500464e880458e351e3f909c5c493
    - e2/
      - 13bd0fccefad20d7d3bc37721ce06c06b5d072
      - 220b6b69b13e40cfb6dc328d0b44e62c91a3df
    - e5/
      - 46b5bdeb0e9401c60ac6cefafd9661cca09725
    - e7/
      - 3210ad4674a45a5e187ae6b9206c0c51310571
    - e8/
      - c9098fb147845bf8827b7116deaa95af109a33
    - ea/
      - 613ea8151e8f35405aa2f20e7f4386529a2e41
    - ee/
      - c9543d705573fc91774650ebd307eac3a45dfe
    - f2/
      - 8c6596b326c84a7886e44e7c177f1dd107188e
    - f7/
      - e472347a9bf306c5921de576d5954a6107051e
- lib64/
  - why3/
    - commands/
      - why3config.cmxs
      - why3doc.cmxs
      - why3execute.cmxs
      - why3extract.cmxs
      - why3ide.cmxs
      - why3pp.cmxs
      - why3prove.cmxs
      - why3realize.cmxs
      - why3replay.cmxs
      - why3session.cmxs
      - why3shell.cmxs
      - why3show.cmxs
      - why3wc.cmxs
      - why3webserver.cmxs
    - coq/
      - .coq-native/
        
        NWhy3_BuiltIn.cmi
        
        NWhy3_BuiltIn.cmx
        
        NWhy3_BuiltIn.cmxs
        
        NWhy3_BuiltIn.o
        
        NWhy3_HighOrd.cmi
        
        NWhy3_HighOrd.cmx
        
        NWhy3_HighOrd.cmxs
        
        NWhy3_HighOrd.o
      - BuiltIn.vo
      - HighOrd.vo
      - bool/
        
        .coq-native/
        
        NWhy3_bool_Bool.cmi
        
        NWhy3_bool_Bool.cmx
        
        NWhy3_bool_Bool.cmxs
        
        NWhy3_bool_Bool.o
        
        Bool.vo
      - bv/
        
        .coq-native/
        
        NWhy3_bv_BV_Gen.cmi
        
        NWhy3_bv_BV_Gen.cmx
        
        NWhy3_bv_BV_Gen.cmxs
        
        NWhy3_bv_BV_Gen.o
        
        NWhy3_bv_Pow2int.cmi
        
        NWhy3_bv_Pow2int.cmx
        
        NWhy3_bv_Pow2int.cmxs
        
        NWhy3_bv_Pow2int.o
        
        BV_Gen.vo
        
        Pow2int.vo
      - floating_point/
        
        .coq-native/
        
        NWhy3_floating_point_Double.cmi
        
        NWhy3_floating_point_Double.cmx
        
        NWhy3_floating_point_Double.cmxs
        
        NWhy3_floating_point_Double.o
        
        NWhy3_floating_point_DoubleFormat.cmi
        
        NWhy3_floating_point_DoubleFormat.cmx
        
        NWhy3_floating_point_DoubleFormat.cmxs
        
        NWhy3_floating_point_DoubleFormat.o
        
        NWhy3_floating_point_GenFloat.cmi
        
        NWhy3_floating_point_GenFloat.cmx
        
        NWhy3_floating_point_GenFloat.cmxs
        
        NWhy3_floating_point_GenFloat.o
        
        NWhy3_floating_point_Rounding.cmi
        
        NWhy3_floating_point_Rounding.cmx
        
        NWhy3_floating_point_Rounding.cmxs
        
        NWhy3_floating_point_Rounding.o
        
        NWhy3_floating_point_Single.cmi
        
        NWhy3_floating_point_Single.cmx
        
        NWhy3_floating_point_Single.cmxs
        
        NWhy3_floating_point_Single.o
        
        NWhy3_floating_point_SingleFormat.cmi
        
        NWhy3_floating_point_SingleFormat.cmx
        
        NWhy3_floating_point_SingleFormat.cmxs
        
        NWhy3_floating_point_SingleFormat.o
        
        Double.vo
        
        DoubleFormat.vo
        
        GenFloat.vo
        
        Rounding.vo
        
        Single.vo
        
        SingleFormat.vo
      - for_drivers/
        
        .coq-native/
        
        NWhy3_for_drivers_ComputerOfEuclideanDivision.cmi
        
        NWhy3_for_drivers_ComputerOfEuclideanDivision.cmx
        
        NWhy3_for_drivers_ComputerOfEuclideanDivision.cmxs
        
        NWhy3_for_drivers_ComputerOfEuclideanDivision.o
        
        ComputerOfEuclideanDivision.vo
      - ieee_float/
        
        .coq-native/
        
        NWhy3_ieee_float_Float32.cmi
        
        NWhy3_ieee_float_Float32.cmx
        
        NWhy3_ieee_float_Float32.cmxs
        
        NWhy3_ieee_float_Float32.o
        
        NWhy3_ieee_float_Float64.cmi
        
        NWhy3_ieee_float_Float64.cmx
        
        NWhy3_ieee_float_Float64.cmxs
        
        NWhy3_ieee_float_Float64.o
        
        NWhy3_ieee_float_GenericFloat.cmi
        
        NWhy3_ieee_float_GenericFloat.cmx
        
        NWhy3_ieee_float_GenericFloat.cmxs
        
        NWhy3_ieee_float_GenericFloat.o
        
        NWhy3_ieee_float_RoundingMode.cmi
        
        NWhy3_ieee_float_RoundingMode.cmx
        
        NWhy3_ieee_float_RoundingMode.cmxs
        
        NWhy3_ieee_float_RoundingMode.o
        
        Float32.vo
        
        Float64.vo
        
        GenericFloat.vo
        
        RoundingMode.vo
      - int/
        
        .coq-native/
        
        NWhy3_int_Abs.cmi
        
        NWhy3_int_Abs.cmx
        
        NWhy3_int_Abs.cmxs
        
        NWhy3_int_Abs.o
        
        NWhy3_int_ComputerDivision.cmi
        
        NWhy3_int_ComputerDivision.cmx
        
        NWhy3_int_ComputerDivision.cmxs
        
        NWhy3_int_ComputerDivision.o
        
        NWhy3_int_Div2.cmi
        
        NWhy3_int_Div2.cmx
        
        NWhy3_int_Div2.cmxs
        
        NWhy3_int_Div2.o
        
        NWhy3_int_EuclideanDivision.cmi
        
        NWhy3_int_EuclideanDivision.cmx
        
        NWhy3_int_EuclideanDivision.cmxs
        
        NWhy3_int_EuclideanDivision.o
        
        NWhy3_int_Exponentiation.cmi
        
        NWhy3_int_Exponentiation.cmx
        
        NWhy3_int_Exponentiation.cmxs
        
        NWhy3_int_Exponentiation.o
        
        NWhy3_int_Int.cmi
        
        NWhy3_int_Int.cmx
        
        NWhy3_int_Int.cmxs
        
        NWhy3_int_Int.o
        
        NWhy3_int_MinMax.cmi
        
        NWhy3_int_MinMax.cmx
        
        NWhy3_int_MinMax.cmxs
        
        NWhy3_int_MinMax.o
        
        NWhy3_int_NumOf.cmi
        
        NWhy3_int_NumOf.cmx
        
        NWhy3_int_NumOf.cmxs
        
        NWhy3_int_NumOf.o
        
        NWhy3_int_Power.cmi
        
        NWhy3_int_Power.cmx
        
        NWhy3_int_Power.cmxs
        
        NWhy3_int_Power.o
        
        Abs.vo
        
        ComputerDivision.vo
        
        Div2.vo
        
        EuclideanDivision.vo
        
        Exponentiation.vo
        
        Int.vo
        
        MinMax.vo
        
        NumOf.vo
        
        Power.vo
      - list/
        
        .coq-native/
        
        NWhy3_list_Append.cmi
        
        NWhy3_list_Append.cmx
        
        NWhy3_list_Append.cmxs
        
        NWhy3_list_Append.o
        
        NWhy3_list_Combine.cmi
        
        NWhy3_list_Combine.cmx
        
        NWhy3_list_Combine.cmxs
        
        NWhy3_list_Combine.o
        
        NWhy3_list_Distinct.cmi
        
        NWhy3_list_Distinct.cmx
        
        NWhy3_list_Distinct.cmxs
        
        NWhy3_list_Distinct.o
        
        NWhy3_list_HdTl.cmi
        
        NWhy3_list_HdTl.cmx
        
        NWhy3_list_HdTl.cmxs
        
        NWhy3_list_HdTl.o
        
        NWhy3_list_HdTlNoOpt.cmi
        
        NWhy3_list_HdTlNoOpt.cmx
        
        NWhy3_list_HdTlNoOpt.cmxs
        
        NWhy3_list_HdTlNoOpt.o
        
        NWhy3_list_Length.cmi
        
        NWhy3_list_Length.cmx
        
        NWhy3_list_Length.cmxs
        
        NWhy3_list_Length.o
        
        NWhy3_list_List.cmi
        
        NWhy3_list_List.cmx
        
        NWhy3_list_List.cmxs
        
        NWhy3_list_List.o
        
        NWhy3_list_Mem.cmi
        
        NWhy3_list_Mem.cmx
        
        NWhy3_list_Mem.cmxs
        
        NWhy3_list_Mem.o
        
        NWhy3_list_Nth.cmi
        
        NWhy3_list_Nth.cmx
        
        NWhy3_list_Nth.cmxs
        
        NWhy3_list_Nth.o
        
        NWhy3_list_NthHdTl.cmi
        
        NWhy3_list_NthHdTl.cmx
        
        NWhy3_list_NthHdTl.cmxs
        
        NWhy3_list_NthHdTl.o
        
        NWhy3_list_NthLength.cmi
        
        NWhy3_list_NthLength.cmx
        
        NWhy3_list_NthLength.cmxs
        
        NWhy3_list_NthLength.o
        
        NWhy3_list_NthLengthAppend.cmi
        
        NWhy3_list_NthLengthAppend.cmx
        
        NWhy3_list_NthLengthAppend.cmxs
        
        NWhy3_list_NthLengthAppend.o
        
        NWhy3_list_NthNoOpt.cmi
        
        NWhy3_list_NthNoOpt.cmx
        
        NWhy3_list_NthNoOpt.cmxs
        
        NWhy3_list_NthNoOpt.o
        
        NWhy3_list_NumOcc.cmi
        
        NWhy3_list_NumOcc.cmx
        
        NWhy3_list_NumOcc.cmxs
        
        NWhy3_list_NumOcc.o
        
        NWhy3_list_Permut.cmi
        
        NWhy3_list_Permut.cmx
        
        NWhy3_list_Permut.cmxs
        
        NWhy3_list_Permut.o
        
        NWhy3_list_RevAppend.cmi
        
        NWhy3_list_RevAppend.cmx
        
        NWhy3_list_RevAppend.cmxs
        
        NWhy3_list_RevAppend.o
        
        NWhy3_list_Reverse.cmi
        
        NWhy3_list_Reverse.cmx
        
        NWhy3_list_Reverse.cmxs
        
        NWhy3_list_Reverse.o
        
        Append.vo
        
        Combine.vo
        
        Distinct.vo
        
        HdTl.vo
        
        HdTlNoOpt.vo
        
        Length.vo
        
        List.vo
        
        Mem.vo
        
        Nth.vo
        
        NthHdTl.vo
        
        NthLength.vo
        
        NthLengthAppend.vo
        
        NthNoOpt.vo
        
        NumOcc.vo
        
        Permut.vo
        
        RevAppend.vo
        
        Reverse.vo
      - map/
        
        .coq-native/
        
        NWhy3_map_Const.cmi
        
        NWhy3_map_Const.cmx
        
        NWhy3_map_Const.cmxs
        
        NWhy3_map_Const.o
        
        NWhy3_map_Map.cmi
        
        NWhy3_map_Map.cmx
        
        NWhy3_map_Map.cmxs
        
        NWhy3_map_Map.o
        
        NWhy3_map_MapInjection.cmi
        
        NWhy3_map_MapInjection.cmx
        
        NWhy3_map_MapInjection.cmxs
        
        NWhy3_map_MapInjection.o
        
        NWhy3_map_MapPermut.cmi
        
        NWhy3_map_MapPermut.cmx
        
        NWhy3_map_MapPermut.cmxs
        
        NWhy3_map_MapPermut.o
        
        NWhy3_map_Occ.cmi
        
        NWhy3_map_Occ.cmx
        
        NWhy3_map_Occ.cmxs
        
        NWhy3_map_Occ.o
        
        Const.vo
        
        Map.vo
        
        MapInjection.vo
        
        MapPermut.vo
        
        Occ.vo
      - number/
        
        .coq-native/
        
        NWhy3_number_Coprime.cmi
        
        NWhy3_number_Coprime.cmx
        
        NWhy3_number_Coprime.cmxs
        
        NWhy3_number_Coprime.o
        
        NWhy3_number_Divisibility.cmi
        
        NWhy3_number_Divisibility.cmx
        
        NWhy3_number_Divisibility.cmxs
        
        NWhy3_number_Divisibility.o
        
        NWhy3_number_Gcd.cmi
        
        NWhy3_number_Gcd.cmx
        
        NWhy3_number_Gcd.cmxs
        
        NWhy3_number_Gcd.o
        
        NWhy3_number_Parity.cmi
        
        NWhy3_number_Parity.cmx
        
        NWhy3_number_Parity.cmxs
        
        NWhy3_number_Parity.o
        
        NWhy3_number_Prime.cmi
        
        NWhy3_number_Prime.cmx
        
        NWhy3_number_Prime.cmxs
        
        NWhy3_number_Prime.o
        
        Coprime.vo
        
        Divisibility.vo
        
        Gcd.vo
        
        Parity.vo
        
        Prime.vo
      - option/
        
        .coq-native/
        
        NWhy3_option_Option.cmi
        
        NWhy3_option_Option.cmx
        
        NWhy3_option_Option.cmxs
        
        NWhy3_option_Option.o
        
        Option.vo
      - real/
        
        .coq-native/
        
        NWhy3_real_Abs.cmi
        
        NWhy3_real_Abs.cmx
        
        NWhy3_real_Abs.cmxs
        
        NWhy3_real_Abs.o
        
        NWhy3_real_ExpLog.cmi
        
        NWhy3_real_ExpLog.cmx
        
        NWhy3_real_ExpLog.cmxs
        
        NWhy3_real_ExpLog.o
        
        NWhy3_real_FromInt.cmi
        
        NWhy3_real_FromInt.cmx
        
        NWhy3_real_FromInt.cmxs
        
        NWhy3_real_FromInt.o
        
        NWhy3_real_MinMax.cmi
        
        NWhy3_real_MinMax.cmx
        
        NWhy3_real_MinMax.cmxs
        
        NWhy3_real_MinMax.o
        
        NWhy3_real_PowerInt.cmi
        
        NWhy3_real_PowerInt.cmx
        
        NWhy3_real_PowerInt.cmxs
        
        NWhy3_real_PowerInt.o
        
        NWhy3_real_PowerReal.cmi
        
        NWhy3_real_PowerReal.cmx
        
        NWhy3_real_PowerReal.cmxs
        
        NWhy3_real_PowerReal.o
        
        NWhy3_real_Real.cmi
        
        NWhy3_real_Real.cmx
        
        NWhy3_real_Real.cmxs
        
        NWhy3_real_Real.o
        
        NWhy3_real_RealInfix.cmi
        
        NWhy3_real_RealInfix.cmx
        
        NWhy3_real_RealInfix.cmxs
        
        NWhy3_real_RealInfix.o
        
        NWhy3_real_Square.cmi
        
        NWhy3_real_Square.cmx
        
        NWhy3_real_Square.cmxs
        
        NWhy3_real_Square.o
        
        NWhy3_real_Trigonometry.cmi
        
        NWhy3_real_Trigonometry.cmx
        
        NWhy3_real_Trigonometry.cmxs
        
        NWhy3_real_Trigonometry.o
        
        NWhy3_real_Truncate.cmi
        
        NWhy3_real_Truncate.cmx
        
        NWhy3_real_Truncate.cmxs
        
        NWhy3_real_Truncate.o
        
        Abs.vo
        
        ExpLog.vo
        
        FromInt.vo
        
        MinMax.vo
        
        PowerInt.vo
        
        PowerReal.vo
        
        Real.vo
        
        RealInfix.vo
        
        Square.vo
        
        Trigonometry.vo
        
        Truncate.vo
      - set/
        
        .coq-native/
        
        NWhy3_set_Cardinal.cmi
        
        NWhy3_set_Cardinal.cmx
        
        NWhy3_set_Cardinal.cmxs
        
        NWhy3_set_Cardinal.o
        
        NWhy3_set_Fset.cmi
        
        NWhy3_set_Fset.cmx
        
        NWhy3_set_Fset.cmxs
        
        NWhy3_set_Fset.o
        
        NWhy3_set_FsetInduction.cmi
        
        NWhy3_set_FsetInduction.cmx
        
        NWhy3_set_FsetInduction.cmxs
        
        NWhy3_set_FsetInduction.o
        
        NWhy3_set_FsetInt.cmi
        
        NWhy3_set_FsetInt.cmx
        
        NWhy3_set_FsetInt.cmxs
        
        NWhy3_set_FsetInt.o
        
        NWhy3_set_FsetSum.cmi
        
        NWhy3_set_FsetSum.cmx
        
        NWhy3_set_FsetSum.cmxs
        
        NWhy3_set_FsetSum.o
        
        NWhy3_set_Set.cmi
        
        NWhy3_set_Set.cmx
        
        NWhy3_set_Set.cmxs
        
        NWhy3_set_Set.o
        
        NWhy3_set_SetApp.cmi
        
        NWhy3_set_SetApp.cmx
        
        NWhy3_set_SetApp.cmxs
        
        NWhy3_set_SetApp.o
        
        NWhy3_set_SetAppInt.cmi
        
        NWhy3_set_SetAppInt.cmx
        
        NWhy3_set_SetAppInt.cmxs
        
        NWhy3_set_SetAppInt.o
        
        NWhy3_set_SetImp.cmi
        
        NWhy3_set_SetImp.cmx
        
        NWhy3_set_SetImp.cmxs
        
        NWhy3_set_SetImp.o
        
        NWhy3_set_SetImpInt.cmi
        
        NWhy3_set_SetImpInt.cmx
        
        NWhy3_set_SetImpInt.cmxs
        
        NWhy3_set_SetImpInt.o
        
        Cardinal.vo
        
        Fset.vo
        
        FsetInduction.vo
        
        FsetInt.vo
        
        FsetSum.vo
        
        Set.vo
        
        SetApp.vo
        
        SetAppInt.vo
        
        SetImp.vo
        
        SetImpInt.vo
      - version
    - plugins/
      - cfg.cmxs
      - dimacs.cmxs
      - genequlin.cmxs
      - hypothesis_selection.cmxs
      - microc.cmxs
      - python.cmxs
      - tptp.cmxs
    - why3-call-pvs
    - why3cpulimit
    - why3server
- share/
  - applications/
    - fr.lri.why3.desktop
  - bash-completion/
    - completions/
      - why3
  - doc/
    - why3/
      - AUTHORS
      - CHANGES.md
      - README.md
      - html/
        
        _images/
        
        ce_example0_p1.png
        
        ce_example0_p2.png
        
        coqide.png
        
        graphviz-27fb1d6e15443ef5740f34deb31ffdd04481b0c6.png
        
        graphviz-27fb1d6e15443ef5740f34deb31ffdd04481b0c6.png.map
        
        graphviz-4c99287827b2f6cb91c8121e480083bf60e12a91.png
        
        graphviz-4c99287827b2f6cb91c8121e480083bf60e12a91.png.map
        
        graphviz-566c0a40499ff4f721058fdcaed39d32ac9ee35d.png
        
        graphviz-566c0a40499ff4f721058fdcaed39d32ac9ee35d.png.map
        
        graphviz-792470fe0ecd67e11a59f238ffd18db52037c5ec.png
        
        graphviz-792470fe0ecd67e11a59f238ffd18db52037c5ec.png.map
        
        graphviz-8f979667d1c704cb426f6e611b7e44d707ba1424.png
        
        graphviz-8f979667d1c704cb426f6e611b7e44d707ba1424.png.map
        
        graphviz-a0a9573eecd3e1281c8506e989de8ac30f984c55.png
        
        graphviz-a0a9573eecd3e1281c8506e989de8ac30f984c55.png.map
        
        gui-1.png
        
        gui-2.png
        
        gui-3.png
        
        gui-4.png
        
        gui-5.png
        
        gui-infer.png
        
        hello_proof.png
        
        _sources/
        
        api.rst.txt
        
        changes.rst.txt
        
        exec.rst.txt
        
        foreword.rst.txt
        
        genindex.rst.txt
        
        index.rst.txt
        
        input_formats.rst.txt
        
        install.rst.txt
        
        itp.rst.txt
        
        manpages.rst.txt
        
        starting.rst.txt
        
        syntaxref.rst.txt
        
        technical.rst.txt
        
        vcgen.rst.txt
        
        whyml.rst.txt
        
        zebibliography.rst.txt
        
        _static/
        
        _sphinx_javascript_frameworks_compat.js
        
        alabaster.css
        
        basic.css
        
        custom.css
        
        doctools.js
        
        documentation_options.js
        
        file.png
        
        graphviz.css
        
        jquery-3.6.0.js
        
        jquery.js
        
        language_data.js
        
        minus.png
        
        plus.png
        
        pygments.css
        
        searchtools.js
        
        underscore-1.13.1.js
        
        underscore.js
        
        api.html
        
        changes.html
        
        exec.html
        
        foreword.html
        
        genindex.html
        
        index.html
        
        input_formats.html
        
        install.html
        
        itp.html
        
        manpages.html
        
        objects.inv
        
        search.html
        
        searchindex.js
        
        starting.html
        
        syntaxref.html
        
        technical.html
        
        vcgen.html
        
        whyml.html
        
        zebibliography.html
      - manual.pdf
  - gtksourceview-3.0/
    - language-specs/
      - why3.lang
      - why3c.lang
      - why3py.lang
  - icons/
    - hicolor/
      - scalable/
        
        why3.svg
  - licenses/
    - why3/
      - LICENSE
  - metainfo/
    - fr.lri.why3.metainfo.xml
  - texlive/
    - texmf-local/
      - tex/
        
        latex/
        
        why3/
        
        why3lang.sty
  - vim/
    - vimfiles/
      - ftdetect/
        
        why3.vim
      - syntax/
        
        why3.vim
  - why3/
    - LICENSE
    - Makefile.config
    - drivers/
      - alt_ergo.drv
      - alt_ergo_2_2_0.drv
      - alt_ergo_2_3.drv
      - alt_ergo_common.drv
      - alt_ergo_fp.drv
      - alt_ergo_model.drv
      - alt_ergo_smt2.drv
      - beagle.drv
      - c.drv
      - cakeml.drv
      - colibri.drv
      - colibri2.drv
      - coq-common.gen
      - coq-realizations.aux
      - coq-realize.drv
      - coq-ssreflect.drv
      - coq.drv
      - cvc3.drv
      - cvc4-realize.drv
      - cvc4.drv
      - cvc4_14.drv
      - cvc4_15.drv
      - cvc4_15_counterexample.drv
      - cvc4_16.drv
      - cvc4_16.gen
      - cvc4_16_counterexample.drv
      - cvc4_17.drv
      - cvc4_17_counterexample.drv
      - cvc4_18_strings.drv
      - cvc4_18_strings_counterexample.drv
      - cvc4_bv.gen
      - discrimination.gen
      - eprover.drv
      - gappa.drv
      - iprover.drv
      - isabelle-common.gen
      - isabelle-realizations.aux
      - isabelle-realize.drv
      - isabelle.drv
      - mathematica.drv
      - mathsat.drv
      - metis.drv
      - metitarski.drv
      - no-bv.gen
      - ocaml-unsafe-int.drv
      - ocaml64.drv
      - polypaver.drv
      - princess.drv
      - psyche.drv
      - pvs-common.gen
      - pvs-realizations.aux
      - pvs-realize.drv
      - pvs.drv
      - safeprover.drv
      - simplify.drv
      - smt-libv2-bv-realization.gen
      - smt-libv2-bv.gen
      - smt-libv2-floats-gnatprove.gen
      - smt-libv2-floats-int_via_bv.gen
      - smt-libv2-floats-int_via_real.gen
      - smt-libv2-floats.gen
      - smt-libv2-gnatprove.gen
      - smt-libv2.gen
      - smtlib-strings.gen
      - spass.drv
      - spass_types.drv
      - tptp-tff0.drv
      - tptp-tff1.drv
      - tptp.gen
      - vampire-smt.drv
      - vampire.drv
      - verit.drv
      - why3.drv
      - why3_smt.drv
      - why3_tptp.drv
      - yices-smt2.drv
      - yices.drv
      - z3.drv
      - z3_432.drv
      - z3_440.drv
      - z3_440_counterexample.drv
      - z3_471.drv
      - z3_471_counterexample.drv
      - z3_471_nobv.drv
      - z3_bv.gen
      - z3_smtv1.drv
      - zenon.drv
      - zenon_modulo.drv
    - images/
      - fatcow/
        
        accept.png
        
        bin.png
        
        bomb.png
        
        brick_delete.png
        
        bullet_black.png
        
        bullet_blue.png
        
        bullet_green.png
        
        bullet_red.png
        
        bullet_white.png
        
        cancel.png
        
        control_pause_blue.png
        
        control_play_blue.png
        
        database_delete.png
        
        ddr_memory.png
        
        delete.png
        
        exclamation.png
        
        folder.png
        
        help.png
        
        magic_wand_2.png
        
        multitool.png
        
        package.png
        
        pencil.png
        
        readme-fatcow.txt
        
        script.png
        
        time_delete.png
        
        timeline.png
        
        update.png
      - fatcow.rc
      - logo-why.png
    - provers-detection-data.conf
    - stdlib/
      - algebra.mlw
      - array.mlw
      - bag.mlw
      - bintree.mlw
      - bool.mlw
      - bv.mlw
      - byte_string.mlw
      - cursor.mlw
      - debug.mlw
      - exn.mlw
      - floating_point.mlw
      - fmap.mlw
      - for_drivers.mlw
      - function.mlw
      - graph.mlw
      - hashtbl.mlw
      - ieee_float.mlw
      - int.mlw
      - io.mlw
      - list.mlw
      - mach/
        
        array.mlw
        
        bv.mlw
        
        c.mlw
        
        float.mlw
        
        fxp.mlw
        
        int.mlw
        
        matrix.mlw
        
        onetime.mlw
        
        peano.mlw
        
        tagset.mlw
      - map.mlw
      - matrix.mlw
      - microc.mlw
      - null.mlw
      - number.mlw
      - ocaml.mlw
      - option.mlw
      - pigeon.mlw
      - pqueue.mlw
      - python.mlw
      - queue.mlw
      - random.mlw
      - real.mlw
      - ref.mlw
      - regexp.mlw
      - relations.mlw
      - seq.mlw
      - set.mlw
      - stack.mlw
      - string.mlw
      - tptp.mlw
      - tree.mlw
      - witness.mlw
    - vim/
    - why3session.dtd
  - zsh/
    - site-functions/
      - _why3

Sources on Pagure